From f18502f32fb25b29cafe26340edbbcedd463c646 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 30 Oct 2017 11:40:49 +0100
Subject: Fix compilation after merge of Ltac_pretype interface.

---
 src/tac2core.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2core.ml')

diff --git a/src/tac2core.ml b/src/tac2core.ml
index 1cfb34c249..9ef88a7d56 100644
--- a/src/tac2core.ml
+++ b/src/tac2core.ml
@@ -828,7 +828,7 @@ let open_constr_no_classes_flags () =
 let to_lvar ist =
   let open Glob_ops in
   let lfun = Tac2interp.set_env ist Id.Map.empty in
-  { empty_lvar with Glob_term.ltac_genargs = lfun }
+  { empty_lvar with Ltac_pretype.ltac_genargs = lfun }
 
 let gtypref kn = GTypRef (Other kn, [])
 
-- 
cgit v1.2.3