Rename interpretor to interpreter.

[Faustine.git] / interpreter / aux.ml

diff --git a/interpretor/aux.ml b/interpreter/aux.ml
similarity index 100%
rename from interpretor/aux.ml
rename to interpreter/aux.ml