disjoint_1 does not get declared

jonnybest / Alloy2RelSMT

This is Alloy2RelSMT, a converter. It translates Alloy models into SMT files with a specific relational theory.

1 stars 0 forks source link

disjoint_1 does not get declared #18

Closed jonnybest closed 12 years ago

jonnybest commented 12 years ago

"(disjoint_1 HeapState Node)" probably originates from being declared a separate signatures. The termcall of disjoint_1 does not incur a declaration at this point.