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/tac2stdlib.ml | 1 +
 1 file changed, 1 insertion(+)

(limited to 'src/tac2stdlib.ml')

diff --git a/src/tac2stdlib.ml b/src/tac2stdlib.ml
index 6512510f0a..6b3b997232 100644
--- a/src/tac2stdlib.ml
+++ b/src/tac2stdlib.ml
@@ -12,6 +12,7 @@ open Globnames
 open Misctypes
 open Genredexpr
 open Tac2expr
+open Tac2ffi
 open Proofview.Notations
 
 module Value = Tac2ffi
-- 
cgit v1.2.3