1846

3 files changed, 6 insertions, 6 deletions

diff --git a/011load.cc b/011load.cc
index 7135b548..978d2fae 100644
--- a/011load.cc
+++ b/011load.cc
@@ -204,12 +204,12 @@ void skip_comma(istream& in) {
 //: step on their own toes. But there'll be many occasions later where
 //: we'll want to disable the warnings.
 :(before "End Globals")
-bool Hide_redefine_warnings = false;
+bool Disable_redefine_warnings = false;
 :(before "End Setup")
-Hide_redefine_warnings = false;
+Disable_redefine_warnings = false;
 :(code)
 bool warn_on_redefine(const string& recipe_name) {
-  if (Hide_redefine_warnings) return false;
+  if (Disable_redefine_warnings) return false;
   return true;
 }
 
diff --git a/050scenario.cc b/050scenario.cc
index b0322917..a0d72615 100644
--- a/050scenario.cc
+++ b/050scenario.cc
@@ -159,7 +159,7 @@ void run_mu_scenario(const scenario& s) {
 :(scenarios run)
 :(scenario warn_on_redefine_scenario)
 % Hide_warnings = true;
-% Hide_redefine_warnings = true;
+% Disable_redefine_warnings = true;
 recipe scenario-foo [
   1:number <- copy 34:literal
 ]
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());