Extracting solutions of 3-coloring problems

[fireball-separation.git] / ocaml / lambda4.ml

diff --git a/ocaml/lambda4.ml b/ocaml/lambda4.ml
index 3426b5acbde3d3d717a563d439b061d46accbe83..b15c3603cc7457139424e0ba9a56a48819ee11f9 100644 (file)
--- a/ocaml/lambda4.ml
+++ b/ocaml/lambda4.ml
@@ -773,14 +773,13 @@ let solve (p, todo) =
    | `CompleteUnseparable s -> `Complete, `False s
    | `CompleteSeparable _ -> `Complete, `True
    | `Uncomplete -> `Uncomplete, `True in
-  match to_run with
-   | `False s -> completeness, `Unseparable s
-   | `True ->
-       try
-        let sigma = run p in
-        completeness, `Separable sigma
-       with
-       | Backtrack _ -> completeness, `Unseparable "backtrack"
+ completeness, match to_run with
+  | `False s -> `Unseparable s
+  | `True ->
+      try
+       `Separable (run p)
+      with
+       Backtrack _ -> `Unseparable "backtrack"
 ;;
 
 let check p =