]> matita.cs.unibo.it Git - fireball-separation.git/blobdiff - ocaml/problems/p
Fixes to parser
[fireball-separation.git] / ocaml / problems / p
index 6f1e0622cf6c636630114c87d6a9d3ac02969944..a2155a6d2a79c617fbffde7c94ccd3a69d742215 100644 (file)
@@ -1,3 +1,4 @@
+\r
 $! p2\r
 N x y\r
   x z\r