From 0f01f3e8d17c43dad96a60183f685a3a8524c4d4 Mon Sep 17 00:00:00 2001 From: Manuel Krucker Date: Wed, 2 Apr 2008 19:06:57 +0000 Subject: [PATCH] git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7593 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 29e03ae..09582b0 100644 --- a/su4sml/src/wfcpog/liskov_constraint.sml +++ b/su4sml/src/wfcpog/liskov_constraint.sml @@ -120,7 +120,7 @@ fun generate_return_value typ oper sub_class super_class model = 1 => let (* preconditions of super type in one term *) - val term_super = conjugate_terms (List.map (fn (a,b) => (Predicate(b,type_of_term b,[("dummy_name")],(args2varargs (arguments_of_op op_of_super))))) (precondition_of_op op_of_super)) + val term_super = conjugate_terms (List.map (fn (a,b) => (Predicate(b,type_of_term b,[mk_def_of ],(args2varargs (arguments_of_op op_of_super))))) (precondition_of_op op_of_super)) (* preconditions of sub type in one term *) val term_sub = conjugate_terms (List.map (fn (a,b) => (Predicate(b,type_of_term b,[("dummy_name")],(args2varargs (arguments_of_op oper))))) (precondition_of_op oper)) in