Fix bug in "expose -input"
authorClifford Wolf <clifford@clifford.at>
Mon, 6 May 2019 11:30:43 +0000 (13:30 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 6 May 2019 11:30:55 +0000 (13:30 +0200)
commitf02e22a35a2b23bbeefa38e68f4fd06a7a7cebc7
tree42e20cd9d137def0870d52a496cea13a4a2623b6
parentba6ce21a74425788b5a98e2e628c089841b47aa3
Fix bug in "expose -input"

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