From 282914c00d29565ec0fbe9d3a89163f9d3cb5141 Mon Sep 17 00:00:00 2001
From: Pierre Letouzey
Date: Wed, 8 Jun 2016 15:56:40 +0200
Subject: coq_makefile: fix a crucial typo in e9c57a3

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

(limited to 'tools')

diff --git a/tools/coq_makefile.ml b/tools/coq_makefile.ml
index ec039aae6a..c8dc4a8de1 100644
--- a/tools/coq_makefile.ml
+++ b/tools/coq_makefile.ml
@@ -434,7 +434,7 @@ let implicit () =
     print "\t$(HIDE)$(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -shared -o $@ $<\n\n";
     print "$(MLLIBFILES:.mllib=.cmxs): %.cmxs: %.cmxa\n";
     print "\t$(SHOW)'CAMLOPT -shared -o $@'\n";
-    print "\t(HIDE)$(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -linkall -shared -o $@ $<\n\n"
+    print "\t$(HIDE)$(CAMLOPTLINK) $(ZDEBUG) $(ZFLAGS) -linkall -shared -o $@ $<\n\n"
   in
   let mllib_rules () =
     print "$(MLLIBFILES:.mllib=.cma): %.cma: | %.mllib\n";
-- 
cgit v1.2.3