diff options
Diffstat (limited to 'kalzium/src')
| -rw-r--r-- | kalzium/src/solver/Makefile | 2 |
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 |