Fix (??): some broken tests with Div = variable used to pass

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index a11453d28119478f9fbb438f97e6f8775686738b..6df0181448105a00c001d03e2f044a5a649a558d 100644 (file)
--- 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"]
  ;;