diff options
| author |  herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-09 16:37:10 +0000 |
|---|---|---|
| committer | herbelin <herbelin@85f007b7-540e-0410-9357-904b9bb8a0f7> | 2000-11-09 16:37:10 +0000 |
| commit | 05f7dc09dea7f8ba949aeb8108f041a882fa4cf8 (patch) | |
| tree | cccf0e25701b4b8a9b995a982e64c9d495cf4bd7 /contrib | |
| parent | c60ee989404713617b7278ad26c285d8cea229fc (diff) | |
Renommage canonique SectionLocalDecl -> SectionLocalAssum
git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@837 85f007b7-540e-0410-9357-904b9bb8a0f7
Diffstat (limited to 'contrib')
| -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 a321ce1ab..ec9c3b5d2 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) |