We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent be4dd5c commit ff0ffa5Copy full SHA for ff0ffa5
src/util/simplify_expr.cpp
@@ -2474,17 +2474,18 @@ bool simplify_exprt::simplify_node(exprt &expr)
2474
else if(expr.id() == ID_complex_real || expr.id() == ID_complex_imag)
2475
result = simplify_complex(expr) && result;
2476
2477
- #ifdef DEBUGX
2478
- if(!result
2479
- #ifdef DEBUG_ON_DEMAND
2480
- && debug_on
2481
- #endif
2482
- )
+#ifdef DEBUGX
+ if(
+ !result
+#ifdef DEBUG_ON_DEMAND
+ && debug_on
+#endif
2483
+ )
2484
{
2485
std::cout << "===== " << old.id() << ": " << format(old) << '\n'
2486
<< " ---> " << format(expr) << '\n';
2487
}
2488
2489
2490
return result;
2491
0 commit comments