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