HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

fixed syntax error 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@3067 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2005-09-15 13:25:07 +00:00
parent 4f023966ff
commit a53a861696
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/xml2xmi.sml
View File

@ -493,7 +493,7 @@ fun mkEnumeration atts trees
invariant = (map (getXmiIdref o XmlTree.attributes_of)
(XmlTree.follow "UML:ModelElement.constraint"
trees)
}
)}
handle XmlTree.IllFormed msg => raise IllFormed ("in mkEnumeration: "^msg)
fun mkVoid atts trees = XMI.Void { xmiid = getXmiId atts,