From cb290d81c46ec370e303e1414e203c40c8fa1174 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Sun, 1 Dec 2013 18:47:55 +0100
Subject: Removing RefArgType generic argument.

---
 interp/constrarg.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'interp')

diff --git a/interp/constrarg.ml b/interp/constrarg.ml
index 97004a93dd..4f20dd5606 100644
--- a/interp/constrarg.ml
+++ b/interp/constrarg.ml
@@ -47,7 +47,7 @@ let wit_pattern_ident = wit_ident_gen false
 
 let wit_var = unsafe_of_type VarArgType
 
-let wit_ref = unsafe_of_type RefArgType
+let wit_ref = Genarg.make0 None "ref"
 
 let wit_quant_hyp = unsafe_of_type QuantHypArgType
 
@@ -71,6 +71,7 @@ let wit_red_expr = unsafe_of_type RedExprArgType
 (** Register location *)
 
 let () =
+  register_name0 wit_ref "Constrarg.wit_ref";
   register_name0 wit_intro_pattern "Constrarg.wit_intro_pattern";
   register_name0 wit_tactic "Constrarg.wit_tactic";
   register_name0 wit_sort "Constrarg.wit_sort";
-- 
cgit v1.2.3