From 90adbedab68a1fe63e10fd972177e9b15f4fff17 Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Sat, 10 May 2008 09:16:18 +0000 Subject: [PATCH] holOclLib.forall -> holOclLib.forAll git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7940 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/wfcpog/operational_consistency.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/su4sml/src/wfcpog/operational_consistency.sml b/su4sml/src/wfcpog/operational_consistency.sml index 43df339..d2f65c0 100644 --- a/su4sml/src/wfcpog/operational_consistency.sml +++ b/su4sml/src/wfcpog/operational_consistency.sml @@ -79,7 +79,7 @@ fun impl_op_operation class oper = val impl = OperationCall (pre_of_op,Boolean,["holOclLib","Boolean","implies"],[(lv_post,Boolean)],Boolean) val lv_state = OperationCall(impl,Boolean,["holOclLib","Boolean","OclLocalValid"],[(tuple_term,OclState)],Boolean) val holocl_exists = Iterator("holOclLib.exists",[("sigma_s",OclState)],Literal("",DummyT),DummyT,lv_state,Boolean,Boolean) - val holocl_forall = Iterator("holOclLib.forall",[("sigma",OclState)],Literal("",DummyT),DummyT,holocl_exists,Boolean,Boolean) + val holocl_forall = Iterator("holOclLib.forAll",[("sigma",OclState)],Literal("",DummyT),DummyT,holocl_exists,Boolean,Boolean) val _ = trace function_ends ("WFCPOG_Operational_Consistency.prestate_complete_operaiton\n") in holocl_forall