X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=ocaml%2Fproblems.ml;h=f1b0b9f35f609cc2105438e55e965c09ed2d54d5;hb=68faf7143a934aa2a68477671e78625ec217a4b9;hp=a11453d28119478f9fbb438f97e6f8775686738b;hpb=0991fc5486c3158fc361e84cbba5aefa67893ba4;p=fireball-separation.git

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index a11453d..f1b0b9f 100644
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -210,7 +210,7 @@ let q2 () = problem_of
  ;;
 
 let q3 () = problem_of
- (Some "x")
+ (Some "x y")
  ["a d e f"]
  ["a b" ]
  ;;
@@ -222,13 +222,13 @@ let q4 () = problem_of
  ;;
 
 let q5 () = problem_of
- (Some"x")
+ (Some"x y")
  ["(y. x)"]
  ["x"]
  ;;
 
 let q6 () = problem_of
- (Some"x")
+ (Some"x w")
  ["(y. x z)"]
  ["y"]
  ;;
@@ -349,7 +349,7 @@ let o5 () = problem_of (Some"BOT") [] [] ;;
 let o6 () = problem_of (Some"x BOMB") ["x y"] [];;
 
 solve_many (List.map ((|>) ()) [
- o1; o2; o3; o4; o5; o6
+ o1; o2; o3; o4; (*o5; o6*)
 ]);;
 
 should_fail(fun () -> problem_of None ["BOT"] []);;