git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7542 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
parent
4afc480ffd
commit
d25551793d
|
@ -71,7 +71,8 @@ end
|
|||
|
||||
structure TypeChecker:TYPECHECKER =
|
||||
struct
|
||||
open library
|
||||
|
||||
open Rep_Logger
|
||||
open Rep_Core
|
||||
open Rep_OclTerm
|
||||
open Rep_OclType
|
||||
|
|
|
@ -42,6 +42,8 @@
|
|||
structure SecureUML2HolOcl:sig
|
||||
val transform : Rep_SecureUML_ComponentUML.Model -> Rep.Model
|
||||
end = struct
|
||||
|
||||
open Rep_Help_Functions
|
||||
open Rep_Logger
|
||||
open Rep_Core
|
||||
open XMI_DataTypes
|
||||
|
|
Loading…
Reference in New Issue