Fixed topological ordering in freduce pass
authorClifford Wolf <clifford@clifford.at>
Wed, 7 Aug 2013 17:38:19 +0000 (19:38 +0200)
committerClifford Wolf <clifford@clifford.at>
Wed, 7 Aug 2013 17:38:19 +0000 (19:38 +0200)
commit56e01ce3895369ce1ecda166c11c3df3648f24b2
treef1e4b5eb341c60a98406fd56f666963a8cfa0648
parente7298576479eadf0a40c1c244d67e98b3238262f
Fixed topological ordering in freduce pass
passes/sat/freduce.cc