diff options
Diffstat (limited to 'interp')
| -rw-r--r-- | interp/constrarg.ml | 2 | ||||
| -rw-r--r-- | interp/constrarg.mli | 2 |
2 files changed, 0 insertions, 4 deletions
diff --git a/interp/constrarg.ml b/interp/constrarg.ml index a67143b005..84b056ab68 100644 --- a/interp/constrarg.ml +++ b/interp/constrarg.ml @@ -38,8 +38,6 @@ let wit_ref = Genarg.make0 None "ref" let wit_quant_hyp = Genarg.make0 None "quant_hyp" -let wit_genarg = unsafe_of_type GenArgType - let wit_sort : (glob_sort, glob_sort, sorts) genarg_type = Genarg.make0 None "sort" diff --git a/interp/constrarg.mli b/interp/constrarg.mli index fdeddd66a1..ef1ef4aee4 100644 --- a/interp/constrarg.mli +++ b/interp/constrarg.mli @@ -38,8 +38,6 @@ val wit_ref : (reference, global_reference located or_var, global_reference) gen val wit_quant_hyp : quantified_hypothesis uniform_genarg_type -val wit_genarg : (raw_generic_argument, glob_generic_argument, typed_generic_argument) genarg_type - val wit_sort : (glob_sort, glob_sort, sorts) genarg_type val wit_constr : (constr_expr, glob_constr_and_expr, constr) genarg_type |