diff options
| -rw-r--r-- | parsing/astterm.ml | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/parsing/astterm.ml b/parsing/astterm.ml index a6fa07f66..fddb47804 100644 --- a/parsing/astterm.ml +++ b/parsing/astterm.ml @@ -703,7 +703,7 @@ let fconstr_of_com_sort sigma sign com = fconstr_of_com1 true sigma sign com (* Note: typ is retyped *) -(*** + let constr_of_com_casted sigma env com typ = let sign = context env in let c = raw_constr_of_com sigma sign com in @@ -742,4 +742,3 @@ let fconstruct_with_univ sigma sign com = let (_,j) = with_universes (Mach.fexecute sigma sign) (univ_sp, Constraintab.current_constraints(), c) in j -***) |