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