From 97bcc97fab0e9c0967c7f723e24ba0f238bd94ff Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Thu, 14 Sep 2017 21:28:32 +0200
Subject: Moving valexpr definition to Tac2ffi.

---
 src/tac2interp.ml | 5 +++++
 1 file changed, 5 insertions(+)

(limited to 'src/tac2interp.ml')

diff --git a/src/tac2interp.ml b/src/tac2interp.ml
index 815fdffe0f..58a3a9a4ec 100644
--- a/src/tac2interp.ml
+++ b/src/tac2interp.ml
@@ -13,6 +13,7 @@ open Genarg
 open Names
 open Proofview.Notations
 open Tac2expr
+open Tac2ffi
 
 exception LtacError = Tac2ffi.LtacError
 
@@ -42,6 +43,10 @@ let with_frame frame tac =
     Proofview.tclUNIT ans
   else tac
 
+type environment = Tac2env.environment = {
+  env_ist : valexpr Id.Map.t;
+}
+
 let empty_environment = {
   env_ist = Id.Map.empty;
 }
-- 
cgit v1.2.3