Use ezSAT::non_incremental() in "share" pass
authorClifford Wolf <clifford@clifford.at>
Mon, 21 Jul 2014 00:08:38 +0000 (02:08 +0200)
committerClifford Wolf <clifford@clifford.at>
Mon, 21 Jul 2014 00:08:38 +0000 (02:08 +0200)
commitb49beab1f30d0a7567c2917a3387fa52c84350fd
tree1fc6f137058355ca3fa6ff6311647aab634f9260
parentb1d520949bdb5357f31f43d9dc4f4579dda9f269
Use ezSAT::non_incremental() in "share" pass
passes/sat/share.cc