diff options
| -rw-r--r-- | parsing/astterm.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/parsing/astterm.ml b/parsing/astterm.ml index ad4e07dc87..e0e705ee9d 100644 --- a/parsing/astterm.ml +++ b/parsing/astterm.ml @@ -555,7 +555,7 @@ let judgment_of_com sigma env com = (*To retype a list of key*constr with undefined key*) let retype_list sigma env lst= - List.map (fun (x,csr) -> (x,Retyping.mk_unsafe_judgment env sigma csr)) lst;; + List.map (fun (x,csr) -> (x,Retyping.get_judgment_of env sigma csr)) lst;; (*Interprets a constr according to two lists of instantiations (variables and metas)*) |