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@7958 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-12 13:01:51 +00:00
parent e0cb52c9e0
commit 30cf12552a
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

@ -69,7 +69,7 @@ Group is
"command_query_consistency.sml"
"taxonomy_consistency.sml"
"interface_consistency.sml"
(* "SecureUML_constraint.sml" *)
"SecureUML_constraint.sml"
(* wccpog toplevel *)
"wfcpog_registry.sml"