Added "miter -assert"
authorClifford Wolf <clifford@clifford.at>
Sat, 25 Jul 2015 09:23:45 +0000 (11:23 +0200)
committerClifford Wolf <clifford@clifford.at>
Sat, 25 Jul 2015 10:09:57 +0000 (12:09 +0200)
commitbadc5f7eb9f438e66797c12352b6798c27384960
treec06cc10e234c2aded66b57cc11cca907eb90c35d
parent2397078485aca763453e019fd980ced992b0abed
Added "miter -assert"
passes/sat/miter.cc