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

getIntegerAtt -> getIntAtt 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@2953 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2005-08-19 13:58:50 +00:00
parent 1b5c0e69e1
commit fad686ade3
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/parse_xmi.sml
View File

@ -102,7 +102,7 @@ fun getKind atts =
| _ => raise IllFormed ("in getKind: found unexpected attribute value "^att)
end
fun getRange atts = (getIntegerAtt "lower" atts, getIntegerAtt "upper" atts)
fun getRange atts = (getIntAtt "lower" atts, getIntAtt "upper" atts)
fun skipOver string tree = if string = XmlTreeData.getElem tree