diff options
Diffstat (limited to '091run_interactive.cc')
-rw-r--r-- | 091run_interactive.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/091run_interactive.cc b/091run_interactive.cc index 83a732da..e570dee2 100644 --- a/091run_interactive.cc +++ b/091run_interactive.cc @@ -112,7 +112,7 @@ void run_code_begin(bool snapshot_recently_added_recipes) { //? cerr << "loading new trace\n"; // stuff to undo later, in run_code_end() Hide_errors = true; - Disable_redefine_errors = true; + Disable_redefine_checks = true; if (snapshot_recently_added_recipes) { Save_recently_added_recipes = Recently_added_recipes; Recently_added_recipes.clear(); @@ -129,7 +129,7 @@ void run_code_begin(bool snapshot_recently_added_recipes) { void run_code_end() { //? cerr << "back to old trace\n"; Hide_errors = false; - Disable_redefine_errors = false; + Disable_redefine_checks = false; delete Trace_stream; Trace_stream = Save_trace_stream; Save_trace_stream = NULL; |