bdd -> exprt: fix copy&paste error to avoid a && TRUE

tautschnig · tautschnig · commit 74457af4c4ba · 2017-01-25T20:58:02.000Z
diff --git a/src/solvers/prop/bdd_expr.cpp b/src/solvers/prop/bdd_expr.cpp
@@ -155,7 +155,7 @@ exprt bdd_exprt::as_expr(const bdd_exprt::BDDt &r) const
   }
   else if(r.high().is_false())
   {
-    if(r.high().is_true())
+    if(r.low().is_true())
       return not_exprt(n_expr);
     else
       return and_exprt(not_exprt(n_expr), as_expr(r.low()));

Original file line number	Diff line number	Diff line change
`@@ -155,7 +155,7 @@ exprt bdd_exprt::as_expr(const bdd_exprt::BDDt &r) const`
`155`	`155`	`}`
`156`	`156`	`else if(r.high().is_false())`
`157`	`157`	`{`
`158`		`- if(r.high().is_true())`
	`158`	`+ if(r.low().is_true())`
`159`	`159`	`return not_exprt(n_expr);`
`160`	`160`	`else`
`161`	`161`	`return and_exprt(not_exprt(n_expr), as_expr(r.low()));`