diff options
Diffstat (limited to 'pretyping/reductionops.ml')
| -rw-r--r-- | pretyping/reductionops.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pretyping/reductionops.ml b/pretyping/reductionops.ml index de23de75f..f2366ea02 100644 --- a/pretyping/reductionops.ml +++ b/pretyping/reductionops.ml @@ -644,7 +644,7 @@ let plain_instance s c = (try let g = List.assoc p s in match kind_of_term g with | App _ -> - let h = id_of_string "H" in + let h = Id.of_string "H" in mkLetIn (Name h,g,t,mkApp(mkRel 1,Array.map (lift 1) l')) | _ -> mkApp (g,l') with Not_found -> mkApp (f,l')) |