1 files changed, 0 insertions, 1 deletions
diff --git a/011load.cc b/011load.cc
index 97af75f7..361c4bd6 100644
--- a/011load.cc
+++ b/011load.cc
@@ -374,7 +374,6 @@ recipe main [
 +error: redefining recipe main
 
 :(scenario permit_forcibly_redefining_recipes)
-% Hide_errors = true;
 recipe main [
   1:number <- copy 23
 ]