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

resolved name clash with datatype constructor (Isabelle-related) 

git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@5388 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Achim D. Brucker 2006-09-30 04:40:50 +00:00
parent 802f085a5f
commit f3947ff40f
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/codegen/stateMachineTypes.sml
View File

@ -34,8 +34,8 @@ open Rep_StateMachine
open Rep_SecureUML_ComponentUML.Security
type Pair = string * string
fun VarN((Name,Value):Pair) = Name
fun VarV((Name,Value):Pair) = Value
fun VarN((name,Value):Pair) = name
fun VarV((name,Value):Pair) = Value
(* Event-Guard-Path *)
datatype GEPath = GELeaf of Guard option * Event option * StateVertex_Id