Fixed "$" in parser

[fireball-separation.git] / ocaml / parser.ml

diff --git a/ocaml/parser.ml b/ocaml/parser.ml
index 726d076357f77539add48e69cdb04b9efb975367..f5b7d7d1173097feffd36cf74bb14dbb921cff08 100644 (file)
--- a/ocaml/parser.ml
+++ b/ocaml/parser.ml
@@ -260,6 +260,6 @@ let from_file path =
  with End_of_file ->\r
   close_in chan in\r
  let txt = String.concat "\n" (List.rev !lines) in\r
- let problems = Str.split (Str.regexp "\\$") txt in\r
+ let problems = Str.split (Str.regexp "\n\\$") txt in\r
  List.map problem_of_string (List.tl (List.map ((^) "$") problems))\r
 ;;\r