diff options
Diffstat (limited to 'interp/constrarg.ml')
| -rw-r--r-- | interp/constrarg.ml | 3 |
1 files changed, 0 insertions, 3 deletions
diff --git a/interp/constrarg.ml b/interp/constrarg.ml index 99f0a2da6..b8f97e77c 100644 --- a/interp/constrarg.ml +++ b/interp/constrarg.ml @@ -46,9 +46,6 @@ let wit_ref = make0 "ref" let wit_quant_hyp = make0 "quant_hyp" -let wit_sort : (glob_sort, glob_sort, sorts) genarg_type = - make0 "sort" - let wit_constr = make0 "constr" |