From cc0d765b70661d7f0a1a6bc5784597f21c7d331a Mon Sep 17 00:00:00 2001
From: Pierre Letouzey <pierre.letouzey@inria.fr>
Date: Fri, 10 Jun 2016 20:46:35 +0200
Subject: coq_makefile: oups, a missing ; in my previous commit

---
 tools/coq_makefile.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index 848f0e9dd..32c22f9e6 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -463,7 +463,7 @@ let implicit () =
     print "\t$(HIDE)$(COQDEP) $(OCAMLLIBS) -c \"$<\" > \"$@\" || ( RV=$$?; rm -f \"$@\"; exit $${RV} )\n\n"
   in
   let v_rules () =
-    print "$(VOFILES): %.vo: %.v\n"
+    print "$(VOFILES): %.vo: %.v\n";
     print "\t$(SHOW)COQC $*\n";
     print "\t$(HIDE)$(COQC) $(COQDEBUG) $(COQFLAGS) $*\n\n";
     print "$(GLOBFILES): %.glob: %.v\n\t$(COQC) $(COQDEBUG) $(COQFLAGS) $*\n\n";
-- 
cgit v1.2.3