git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5561 3260e6d1-4efc-4170-b0a7-36055960796d

2006-11-08 09:03:19 +00:00 · 2006-11-08 09:03:19 +00:00 · cf9c038363
parent 1b7ab84152
commit cf9c038363
1 changed files with 1 additions and 0 deletions
--- a/src/ocl_library.sml
+++ b/src/ocl_library.sml
@ -25,6 +25,7 @@
 signature OCL_LIBRARY=
 sig
  val oclLib : Rep_Core.Classifier list
+  val OclLibPackage : string
 end

 structure OclLibrary : OCL_LIBRARY=