From: acondolu <andrea.condoluci@unibo.it>
Date: Fri, 14 Jul 2017 17:39:42 +0000 (+0200)
Subject: Removed invalid problems
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=f2bc82e223757ea40ba639cd521d69affa29b69d;p=fireball-separation.git

Removed invalid problems
---

diff --git a/ocaml/problems.ml b/ocaml/problems.ml
index bb3129d..f073d29 100644
--- a/ocaml/problems.ml
+++ b/ocaml/problems.ml
@@ -173,14 +173,12 @@ let o3 () = problem_of
  "y (x a1 BOMB c) (x BOMB b2 d)";] [] ;;
 let o4 () = problem_of (Some"x BOMB a1 c")
  [ "x y BOMB d"; "x BOMB a2 c" ] [] ;;
-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; o6
 ]);;
 
-assert_unseparable(problem_of None ["BOT"] []);;
 assert_unseparable(problem_of (Some"x y") ["x BOMB"] []);;
 assert_unseparable(problem_of (Some"x y z") ["x BOMB z"; "x y y"] []);;