Removed invalid problems

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