Pretty printing of main.ml.

[Faustine.git] / interpretor / faustine

diff --git a/interpretor/faustine b/interpretor/faustine
index b87845fc302f09e4097908eb54ffa887208681b5..2de8a557c442d54ab07a347c506a2e3aaf9fddef 100755 (executable)
Binary files a/interpretor/faustine and b/interpretor/faustine differ