diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-25 00:24:12 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-25 00:24:12 -0700 |
| commit | 7381b17c351ae6e63a7bc3ad65839fa28ff5cbd4 (patch) | |
| tree | 5d2873f34459ab57631012e6b17c7caa2e46d2ec /081run_interactive.cc | |
| parent | c5e965d87fe2ef50ac70722eea73e89095b9178d (diff) | |
| download | mu-7381b17c351ae6e63a7bc3ad65839fa28ff5cbd4.tar.gz | |
1846
Diffstat (limited to '081run_interactive.cc')
| -rw-r--r-- | 081run_interactive.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/081run_interactive.cc b/081run_interactive.cc index 36a0ec1a..bbb49a97 100644 --- a/081run_interactive.cc +++ b/081run_interactive.cc @@ -270,11 +270,11 @@ case RELOAD: { Trace_stream->collect_layer = "warn"; } Hide_warnings = true; - Hide_redefine_warnings = true; + Disable_redefine_warnings = true; load(read_mu_string(ingredients.at(0).at(0))); transform_all(); Trace_stream->newline(); // flush trace - Hide_redefine_warnings = false; + Disable_redefine_warnings = false; Hide_warnings = false; products.resize(1); products.at(0).push_back(warnings_from_trace()); |