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