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

bug fix conjugate_invariants 

git-svn-id: https://projects.brucker.ch/su4sml/svn/su4sml/trunk@7899 3260e6d1-4efc-4170-b0a7-36055960796d
This commit is contained in:
Manuel Krucker 2008-05-07 13:06:02 +00:00
parent 477adca8d8
commit 1acb029018
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

@ -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)