diff options
Diffstat (limited to 'contrib/xml/xmlcommand.ml')
| -rw-r--r-- | contrib/xml/xmlcommand.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/xml/xmlcommand.ml b/contrib/xml/xmlcommand.ml index a321ce1ab1..ec9c3b5d2e 100644 --- a/contrib/xml/xmlcommand.ml +++ b/contrib/xml/xmlcommand.ml @@ -660,7 +660,7 @@ let print_object lobj id sp dn fv = let typ = match varentry with Declare.SectionLocalDef _ -> assert false - | Declare.SectionLocalDecl typ -> typ + | Declare.SectionLocalAssum typ -> typ in add_to_pvars (N.string_of_id id) ; print_variable id (T.body_of_type typ) |