From 8553dced2d73cf19e1ed26434d75dc026a9fbb2e Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?J=C3=BCrgen=20Doser?= Date: Wed, 17 May 2006 10:36:48 +0000 Subject: [PATCH] ups. fixed syntax error... git-svn-id: https://projects.brucker.ch/su4sml/svn/infsec-import/trunk/src/su4sml@4555 3260e6d1-4efc-4170-b0a7-36055960796d --- src/secure_uml.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/secure_uml.sml b/src/secure_uml.sml index 0156735..0ea1eb0 100644 --- a/src/secure_uml.sml +++ b/src/secure_uml.sml @@ -90,7 +90,7 @@ fun actions_of (p:Permission) = #actions p (** test whether a1 is (transitively) a subordinated_action of a2 *) fun is_contained_in a1 a2 = (a1 = a2) orelse List.exists (is_contained_in a1) - (Design.subordinated_actions a2))) + (Design.subordinated_actions a2) (** test whether the permission p covers the action a. *) fun permission_includes_action (p:Permission) (a:Design.Action) =