--- /dev/null
+commit 726e8d6e31224eb70f75655579da9a374e910b98
+Author: Jean-Christophe Filliatre <Jean-Christophe.Filliatre@lri.fr>
+Date: Mon Feb 13 08:41:58 2017 +0100
+
+ fixed 'make check'
+
+diff --git a/Makefile.in b/Makefile.in
+index 58b9e9c..9ce40df 100644
+--- a/Makefile.in
++++ b/Makefile.in
+@@ -360,7 +360,7 @@ bin/testunix.opt: $(CMXA) myTest/testunix.ml
+ $(OCAMLOPT) -unsafe -inline 100 -o $@ unix.cmxa $^
+
+ check: $(CMA) tests/check.ml bin/test-ts
+- ocaml $(CMA) tests/test_clique.ml tests/check.ml
++ ocaml -I . $(CMA) tests/test_clique.ml tests/check.ml
+ bin/test-ts 10
+
+ # Additional rules