From 62144f01cf0ff7a9eccd9dbb9c646160d6f164b3 Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Tue, 13 May 2008 15:07:24 +0000 Subject: [PATCH] conjuagte inv with holocl and and not ocl and git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7967 3260e6d1-4efc-4170-b0a7-36055960796d --- su4sml/src/wfcpog/liskov_constraint.sml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/su4sml/src/wfcpog/liskov_constraint.sml b/su4sml/src/wfcpog/liskov_constraint.sml index dcb5802..83e818f 100644 --- a/su4sml/src/wfcpog/liskov_constraint.sml +++ b/su4sml/src/wfcpog/liskov_constraint.sml @@ -203,7 +203,7 @@ fun conjugate_invariants_help [] model = [] if (List.length(invs) = 0) then (conjugate_invariants_help clist model) else (["po_lsk_inv"]@["_"]@(name_of class)@["_"], - conjugate_terms invs)::(conjugate_invariants_help clist model) + Rep_HolOcl_Helper.holocl_and_all invs)::(conjugate_invariants_help clist model) end