From: acondolu <andrea.condoluci@unibo.it>
Date: Thu, 13 Jul 2017 16:08:08 +0000 (+0200)
Subject: Fix (??): some broken tests with Div = variable used to pass
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=2c70b604ce2a4a7a00ab8c917eb5c10a3726606c;p=fireball-separation.git

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

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"]
  ;;