diff options
Diffstat (limited to 'checker/modops.ml')
| -rw-r--r-- | checker/modops.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/checker/modops.ml b/checker/modops.ml index 27ea4d55..498bd775 100644 --- a/checker/modops.ml +++ b/checker/modops.ml @@ -125,6 +125,7 @@ let strengthen_mind env mp l mib = match mib.mind_equiv with let rec eval_struct env = function | SEBident mp -> begin + let mp = scrape_alias mp env in let mtb =lookup_modtype mp env in match mtb.typ_expr,mtb.typ_strength with mtb,None -> eval_struct env mtb |