From 2c70b604ce2a4a7a00ab8c917eb5c10a3726606c Mon Sep 17 00:00:00 2001
From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 13 Jul 2017 18:08:08 +0200
Subject: [PATCH 1/1] Fix (??): some broken tests with Div = variable used to
 pass

---
 ocaml/problems.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index a11453d..6df0181 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"]
  ;;
-- 
2.39.2