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
This commit is contained in:
parent
0fefeed582
commit
62144f01cf
|
@ -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
|
||||
|
||||
|
|
Loading…
Reference in New Issue