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

tautschnig · tautschnig · commit 4b2774bca13f · 2017-08-07T13:34:53.000+01:00
diff --git a/src/solvers/prop/bdd_expr.cpp b/src/solvers/prop/bdd_expr.cpp
@@ -122,7 +122,7 @@ exprt bdd_exprt::as_expr(const mini_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
`@@ -122,7 +122,7 @@ exprt bdd_exprt::as_expr(const mini_bddt &r) const`
`122`	`122`	`}`
`123`	`123`	`else if(r.high().is_false())`
`124`	`124`	`{`
`125`		`- if(r.high().is_true())`
	`125`	`+ if(r.low().is_true())`
`126`	`126`	`return not_exprt(n_expr);`
`127`	`127`	`else`
`128`	`128`	`return and_exprt(not_exprt(n_expr), as_expr(r.low()));`