diff options
Diffstat (limited to 'toplevel/lemmas.ml')
| -rw-r--r-- | toplevel/lemmas.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/lemmas.ml b/toplevel/lemmas.ml index 31f5d2994..c2891e0c1 100644 --- a/toplevel/lemmas.ml +++ b/toplevel/lemmas.ml @@ -56,7 +56,7 @@ let adjust_guardness_conditions const = function lemma_guard (Array.to_list fixdefs) in *) let indexes = - search_guard dummy_loc (Global.env()) possible_indexes fixdecls in + search_guard Loc.ghost (Global.env()) possible_indexes fixdecls in { const with const_entry_body = mkFix ((indexes,0),fixdecls) } | c -> const |