HOL-OCL
/
su4sml
1
0
Fork 0
Code Issues Pull Requests Releases Activity

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7994 3260e6d1-4efc-4170-b0a7-36055960796d

This commit is contained in:
Manuel Krucker 2008-05-19 18:09:57 +00:00
parent f32e23d477
commit 08e6396b77
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
su4sml/src/wfcpog/liskov_constraint.sml
View File

@ -118,7 +118,7 @@ fun generate_return_value typ oper sub_class super_class model =
in
case typ of
weaken_pre =>
(* DEFINITION (OOSC p.578): sub_pre -> super_pre*)
(* DEFINITION (OOSC p.578): super_pre -> sub_pre*)
let
val pre_super = Predicate(Variable("self_super",super_type),super_type,
name_of_pre super_class oper,