diff options
Diffstat (limited to 'tools/bugpoint/ListReducer.h')
| -rw-r--r-- | tools/bugpoint/ListReducer.h | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/tools/bugpoint/ListReducer.h b/tools/bugpoint/ListReducer.h index 5e9cff0..bd1c5da 100644 --- a/tools/bugpoint/ListReducer.h +++ b/tools/bugpoint/ListReducer.h @@ -183,8 +183,8 @@ Backjump: --i; // Don't skip an element of the list Changed = true; } - if (!Error.empty()) - return true; + if (!Error.empty()) + return true; } // This can take a long time if left uncontrolled. For now, don't // iterate. |