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
