summaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--kalzium/src/solver/Makefile2
1 files changed, 1 insertions, 1 deletions
diff --git a/kalzium/src/solver/Makefile b/kalzium/src/solver/Makefile
index 4b96fdb7..6012982c 100644
--- a/kalzium/src/solver/Makefile
+++ b/kalzium/src/solver/Makefile
@@ -89,4 +89,4 @@ install :
.depend: parser.ml lexer.ml
$(OCAMLDEP) $(INCLUDES) *.mli *.ml > $@
-include .depend
+-include .depend