Important: added special variable "Z" for zero.

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

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index 0678a13e697df9a78fc50bd9bb65ce96ed3d08e1..5f86177db4e18de320e94239a4f80d4fcf1744c0 100644 (file)
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -44,6 +44,6 @@ let assert_depends x =
 if Array.length Sys.argv = 1
  then failwith "no command line args. Please use e.g. ./a.out problems/*"
 else Array.iteri (fun i filename -> if i > 0 then
- List.iter (assert_depends ++ Lambda4.tmp) (Parser.from_file filename)
+ List.iter (assert_depends ++ problem_of) (Parser.from_file filename)
  ) Sys.argv
 ;;