Moved parse' from Num to Parser

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

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index c79cade6383dccc699c3ea591c6216237de477ff..355380eae032401af3518c89be84acc71a67a1f5 100644 (file)
--- a/ocaml/lambda4.ml
+++ b/ocaml/lambda4.ml
@@ -751,8 +751,8 @@ let append_zero =
 ;;
 
 let problem_of ~div ~conv ~nums =
- let all_tms = (match div with None -> [] | Some div -> print_endline(div);[div]) @ nums @ conv in
-  let all_tms, var_names = parse' all_tms in
+ let all_tms = (match div with None -> [] | Some div -> [div]) @ nums @ conv in
+ let all_tms, var_names = Parser.parse' all_tms in
   let div, (tms, conv) = match div with
     | None -> None, list_cut (List.length nums, all_tms)
     | Some _ -> Some (List.hd all_tms), list_cut (List.length nums, List.tl all_tms) in