Add "expose -input"
authorClifford Wolf <clifford@clifford.at>
Mon, 12 Mar 2018 12:52:52 +0000 (13:52 +0100)
committerClifford Wolf <clifford@clifford.at>
Mon, 12 Mar 2018 12:52:52 +0000 (13:52 +0100)
commit08225f49a410c7df6d7d6fe098a4dabc68789ac5
treebc71fffc7ee16b4bba50fb5df7925cb4dd018492
parent83ffb23739ff09591fb81e0c7b3b289d9fc73fb7
Add "expose -input"

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