Multiple null's in generated POs

symphonytool / symphony

The Symphony IDE

5 stars 4 forks source link

Closed pglvdm closed 10 years ago

pglvdm commented 10 years ago

For the GridManager project checked into the SVN as compasssvn\Theme5\JointPapers\GM_CML\projects\GM-06 the tweltwth PO generated looks like:

(forall t:nat, r:map (nat) to (bool) & (null null (hold_curve <> [])))

ldcouto commented 10 years ago

Fixed in overturetool/overture@85fd99bc9d17e14626ad977c9e0cfd23d7cceb9a