From f98d8382e04ecf6f90e9768b67a2854bb1590362 Mon Sep 17 00:00:00 2001
From: Jason Gross <jgross@mit.edu>
Date: Fri, 8 Mar 2019 01:37:01 -0500
Subject: Add some gtactics

---
 _CoqProject | 1 +
 1 file changed, 1 insertion(+)

(limited to '_CoqProject')

diff --git a/_CoqProject b/_CoqProject
index 7fdf9a21c..047dca488 100644
--- a/_CoqProject
+++ b/_CoqProject
@@ -231,6 +231,7 @@ src/Util/Tactics/ETransitivity.v
 src/Util/Tactics/EvarExists.v
 src/Util/Tactics/Forward.v
 src/Util/Tactics/GetGoal.v
+src/Util/Tactics/GlobalTacticals.v
 src/Util/Tactics/HasBody.v
 src/Util/Tactics/Head.v
 src/Util/Tactics/HeadUnderBinders.v
-- 
cgit v1.2.3