Better error messages in parser

[fireball-separation.git] / ocaml / sat.mli

diff --git a/ocaml/sat.mli b/ocaml/sat.mli
index 77f02394d64017e28dd533e41fa44c7aebfc964b..81d7ee70629f9a948f1780cb388f78d528ee74a4 100644 (file)
--- a/ocaml/sat.mli
+++ b/ocaml/sat.mli
@@ -1,3 +1,5 @@
 type graph = (int * int) list\r
+type color\r
 \r
 val encode_graph : graph -> string\r
+val color: graph -> (color list) option\r