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

rep_secureuml.sig removed 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7955 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-12 12:58:18 +00:00
parent 1a5c4d08ac
commit e7f20c0095
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/wfcpog/wfcpog.cm
View File

@ -52,7 +52,7 @@ Group is
$smlnj/ml-yacc/ml-yacc-lib.cm
#endif
"../rep_secureuml.sig"
"../rep_secureuml.sml"
"rep_holocl.sml"
"datatab.sml"