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/ltac2_plugin.mlpack | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/ltac2_plugin.mlpack')

diff --git a/src/ltac2_plugin.mlpack b/src/ltac2_plugin.mlpack
index 70f97b9d1e..a2237f4d26 100644
--- a/src/ltac2_plugin.mlpack
+++ b/src/ltac2_plugin.mlpack
@@ -1,6 +1,6 @@
 Tac2dyn
-Tac2env
 Tac2ffi
+Tac2env
 Tac2print
 Tac2intern
 Tac2interp
-- 
cgit v1.2.3