From 72ac4b32ac26fdba751ae48568d28b4dbb8edd14 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 15 Sep 2016 18:11:54 +0200
Subject: Untangling Tacexpr from lower strata.

---
 ltac/g_auto.ml4 | 1 +
 1 file changed, 1 insertion(+)

(limited to 'ltac')

diff --git a/ltac/g_auto.ml4 b/ltac/g_auto.ml4
index eb1dc9081b..2165e826ed 100644
--- a/ltac/g_auto.ml4
+++ b/ltac/g_auto.ml4
@@ -15,6 +15,7 @@ open Constrarg
 open Pcoq.Prim
 open Pcoq.Constr
 open Pltac
+open Hints
 open Tacexpr
 
 DECLARE PLUGIN "g_auto"
-- 
cgit v1.2.3