X-Git-Url: https://scm.cri.minesparis.psl.eu/git/Faustine.git/blobdiff_plain/1059e1cc0c2ecfa237406949aa26155b6a5b9154:/interpretor/aux.ml..66f23d4fabf89ad09adbd4dfc15ac6b5b2b7da83:/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