search

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

fix a2r_2 #6

Closed jonnybest closed 12 years ago

jonnybest commented 12 years ago

(error "line 52 column 42: invalid function application, wrong number of arguments")

jonnybest commented 12 years ago

fixed in 81cb04042fb2318c4f163fc85b68b0427f702afd (hopefully)