From 31e686c2904c3015eaec18ce502d4e8afe565850 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Tue, 29 Aug 2017 18:17:19 +0200
Subject: Rolling our own dynamic types for Ltac2.

This prevents careless confusions with generic arguments from Coq.
---
 src/tac2interp.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/tac2interp.ml')

diff --git a/src/tac2interp.ml b/src/tac2interp.ml
index 691c795502..3be95ac828 100644
--- a/src/tac2interp.ml
+++ b/src/tac2interp.ml
@@ -23,7 +23,7 @@ let () = register_handler begin function
 | _ -> raise Unhandled
 end
 
-let val_exn = Geninterp.Val.create "ltac2:exn"
+let val_exn = Tac2dyn.Val.create "ltac2:exn"
 
 type environment = valexpr Id.Map.t
 
-- 
cgit v1.2.3