From 2c70b604ce2a4a7a00ab8c917eb5c10a3726606c Mon Sep 17 00:00:00 2001 From: acondolu Date: Thu, 13 Jul 2017 18:08:08 +0200 Subject: [PATCH] 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