diff options
| author | Arnaud Spiwack | 2014-08-05 11:34:02 +0200 |
|---|---|---|
| committer | Arnaud Spiwack | 2014-08-05 16:52:13 +0200 |
| commit | b19a845e7bbda10120a8a1f4b5cf92a057b5d10f (patch) | |
| tree | c8c221bdf2f924b806b4e70e9b6100619a0ee392 | |
| parent | e497afaccc78e92b71e60878d593273dce0036a1 (diff) | |
Fix [uconstr] name for argextend.
| -rw-r--r-- | interp/constrarg.ml | 2 |
1 files changed, 1 insertions, 1 deletions
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"; |