diff options
Diffstat (limited to '011load.cc')
-rw-r--r-- | 011load.cc | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/011load.cc b/011load.cc index 6216c7be..e1977383 100644 --- a/011load.cc +++ b/011load.cc @@ -34,7 +34,7 @@ vector<recipe_ordinal> load(istream& in) { Recipe_ordinal[recipe_name] = Next_recipe_ordinal++; } if (Recipe.find(Recipe_ordinal[recipe_name]) != Recipe.end()) { - raise << "redefining recipe " << Recipe[Recipe_ordinal[recipe_name]].name << "\n"; + if (!Loading_interactive) raise << "redefining recipe " << Recipe[Recipe_ordinal[recipe_name]].name << "\n"; Recipe.erase(Recipe_ordinal[recipe_name]); } // todo: save user-defined recipes to mu's memory |