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

adjust "string_of_OclType": for new type 'TemplateParameter "T"' 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@6283 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2007-04-02 13:05:53 +00:00
parent 5841f8f3f8
commit 007023d21e
1 changed files with 1 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

1
src/rep_ocl.sml
View File

@ -130,6 +130,7 @@ fun string_of_OclType' f Integer = "Integer"
| string_of_OclType' f OclVoid = "OclVoid"
| string_of_OclType' f (Classifier p) = (path_to_string p f)
| string_of_OclType' f DummyT = "DummyT"
| string_of_OclType' f (TemplateParameter s) = "TemplateParameter \""^s^"\""
fun string_of_OclType t = string_of_OclType' "." t