diff options
Diffstat (limited to 'toplevel/discharge.ml')
-rw-r--r-- | toplevel/discharge.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/toplevel/discharge.ml b/toplevel/discharge.ml index 93277300b..26cf3083c 100644 --- a/toplevel/discharge.ml +++ b/toplevel/discharge.ml @@ -209,7 +209,7 @@ let process_object oldenv olddir full_olddir newdir match c with | None -> SectionLocalAssum - (expmod_constr oldenv work_alist (body_of_type t)) + (expmod_constr oldenv work_alist t) | Some body -> SectionLocalDef (expmod_constr oldenv work_alist body) |