From 3ab71e34bf1f43e7e5e403ae7ff1e9d0dc9478e8 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sat, 4 Jun 2016 16:25:16 +0200
Subject: Removing the Q_constr file.

---
 tactics/hipattern.ml | 2 --
 1 file changed, 2 deletions(-)

(limited to 'tactics')

diff --git a/tactics/hipattern.ml b/tactics/hipattern.ml
index 51d4c1635b..fded54fcb1 100644
--- a/tactics/hipattern.ml
+++ b/tactics/hipattern.ml
@@ -6,8 +6,6 @@
 (*         *       GNU Lesser General Public License Version 2.1        *)
 (************************************************************************)
 
-(*i camlp4deps: "grammar/grammar.cma grammar/q_constr.cmo" i*)
-
 open Pp
 open Errors
 open Util
-- 
cgit v1.2.3