Rename interpretor to interpreter.

[Faustine.git] / interpreter / static / git-logo.png

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