Moved all problems in problems folder. Last ones in "w"

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

diff --git a/ocaml/parser.ml b/ocaml/parser.ml
index 60b59f9c4b35be19c82208d1c45982862240f382..e5a040fd34b15f3f3cbd4569adc5c07c45b2ce62 100644 (file)
--- a/ocaml/parser.ml
+++ b/ocaml/parser.ml
@@ -264,6 +264,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 "[\n\r\x0c\t]+\\$") txt in\r
+ let problems = Str.split (Str.regexp "[\n\r]+\\$") txt in\r
  List.map problem_of_string (List.tl (List.map ((^) "$") problems))\r
 ;;\r