X-Git-Url: https://scm.cri.ensmp.fr/git/Faustine.git/blobdiff_plain/043c676f59520b93dfacfa0d8d7e1fdd448cd7dc..1878a8448a5a73cbf289306beb5e88ab48561129:/backup/preprocess.ml

diff --git a/backup/preprocess.ml b/backup/preprocess.ml
deleted file mode 100644
index 13c9844..0000000
--- a/backup/preprocess.ml
+++ /dev/null
@@ -1 +0,0 @@
-external preprocess: string -> string = "preProcess_cpp"