]> CRI, Mines Paris - PSL - Faustine.git/blobdiff - interpreter/basic.ml
Rename interpretor to interpreter.
[Faustine.git] / interpreter / basic.ml
similarity index 100%
rename from interpretor/basic.ml
rename to interpreter/basic.ml