Add "cutpoint -undef"
authorClifford Wolf <clifford@clifford.at>
Tue, 26 Mar 2019 15:01:14 +0000 (16:01 +0100)
committerClifford Wolf <clifford@clifford.at>
Tue, 26 Mar 2019 15:01:14 +0000 (16:01 +0100)
commit38b3fbd3f0bbdace11a3ab7b3d153b1a05059378
tree0b63b48c20b0a80b206e90e0423a8839dbe499e2
parentd0b9b1bece9866fd7b0e153c991fc7e9b57a1efc
Add "cutpoint -undef"

Signed-off-by: Clifford Wolf <clifford@clifford.at>
passes/sat/cutpoint.cc