From 27e8f9b4f265ad98e19f85f24d576ed2c6dbf5c1 Mon Sep 17 00:00:00 2001 From: acondolu Date: Thu, 13 Jul 2017 18:53:50 +0200 Subject: [PATCH] More problems --- ocaml/problems.ml | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/ocaml/problems.ml b/ocaml/problems.ml index 8a1915c..f586c5d 100644 --- a/ocaml/problems.ml +++ b/ocaml/problems.ml @@ -352,9 +352,9 @@ solve_many (List.map ((|>) ()) [ o1; o2; o3; o4; o5; o6 ]);; -(*should_fail(fun () -> problem_of None ["BOT"] []);; +should_fail(fun () -> problem_of None ["BOT"] []);; should_fail(fun () -> problem_of (Some"x y") ["x BOMB"] []);; -should_fail(fun () -> problem_of (Some"x y z") ["x BOMB z"; "x y y"] []);;*) +should_fail(fun () -> problem_of (Some"x y z") ["x BOMB z"; "x y y"] []);; solve_many [ problem_of -- 2.39.2