@@ -358,20 +358,19 @@ StepResult ComponentStep::take(bool prevFailed) {
358
358
auto *disjunction = CS.selectDisjunction ();
359
359
360
360
if (CS.isDebugMode ()) {
361
- PrintOptions PO;
362
- PO.PrintTypesForDebugging = true ;
363
-
364
- auto &log = getDebugLogger ();
365
361
if (!potentialBindings.empty ()) {
362
+ auto &log = getDebugLogger ();
366
363
log << " (Potential Binding(s): " << ' \n ' ;
367
364
log << potentialBindings;
368
365
}
369
- log.indent (CS.solverState ->getCurrentIndent ());
370
366
371
367
SmallVector<Constraint *, 4 > disjunctions;
372
368
CS.collectDisjunctions (disjunctions);
373
369
std::vector<std::string> choicesWithBindOverload;
374
370
for (const auto &disjunction : disjunctions) {
371
+ PrintOptions PO;
372
+ PO.PrintTypesForDebugging = true ;
373
+
375
374
bool isBindOverload = false ;
376
375
auto constraints = disjunction->getNestedConstraints ();
377
376
for (const auto &choice : constraints) {
@@ -383,12 +382,17 @@ StepResult ComponentStep::take(bool prevFailed) {
383
382
constraints.front ()->getFirstType ()->getString (PO));
384
383
}
385
384
if (!choicesWithBindOverload.empty ()) {
385
+ auto &log = getDebugLogger ();
386
386
log.indent (2 );
387
387
log << " Disjunction(s) = [" ;
388
388
interleave (choicesWithBindOverload, log, " , " );
389
- log << " ]" ;
389
+ log << " ]\n " ;
390
+
391
+ if (!potentialBindings.empty () || !choicesWithBindOverload.empty ()) {
392
+ auto &log = getDebugLogger ();
393
+ log << " )\n " ;
394
+ }
390
395
}
391
- log << " )\n " ;
392
396
}
393
397
394
398
if (CS.shouldAttemptFixes ()) {
0 commit comments