From 1acb0290180ed12d8e745595179443ec3bb07408 Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Wed, 7 May 2008 13:06:02 +0000 Subject: [PATCH] bug fix conjugate_invariants git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7899 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 1aa1a30..dcb5802 100644 --- a/su4sml/src/wfcpog/liskov_constraint.sml +++ b/su4sml/src/wfcpog/liskov_constraint.sml @@ -198,7 +198,7 @@ fun conjugate_invariants_help [] model = [] let (* get the invariants of all parents *) val parents = parents_of class model - val invs = List.map (fn a => Predicate(Variable(varcounter.nextStr(),Rep_Core.type_of a),Rep_Core.type_of a,name_of_inv a,[selfarg (Rep_Core.type_of a)])) parents + val invs = List.map (fn a => Predicate(Variable(varcounter.nextStr(),Rep_Core.type_of a),Rep_Core.type_of a,name_of_inv a,[])) parents in if (List.length(invs) = 0) then (conjugate_invariants_help clist model)