From b19a845e7bbda10120a8a1f4b5cf92a057b5d10f Mon Sep 17 00:00:00 2001
From: Arnaud Spiwack
Date: Tue, 5 Aug 2014 11:34:02 +0200
Subject: Fix [uconstr] name for argextend.

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

(limited to 'interp')

diff --git a/interp/constrarg.ml b/interp/constrarg.ml
index cb980f5a38..aad034c055 100644
--- a/interp/constrarg.ml
+++ b/interp/constrarg.ml
@@ -67,5 +67,5 @@ let () =
   register_name0 wit_intro_pattern "Constrarg.wit_intro_pattern";
   register_name0 wit_tactic "Constrarg.wit_tactic";
   register_name0 wit_sort "Constrarg.wit_sort";
-  register_name0 wit_uconstr "Constrarg.uconstr";
+  register_name0 wit_uconstr "Constrarg.wit_uconstr";
   register_name0 wit_clause_dft_concl "Constrarg.wit_clause_dft_concl";
-- 
cgit v1.2.3