diff options
| author | Kartik K. Agaram <vc@akkartik.com> | 2015-07-24 20:07:27 -0700 |
|---|---|---|
| committer | Kartik K. Agaram <vc@akkartik.com> | 2015-07-24 20:07:27 -0700 |
| commit | cd1e0c811fae4c50c772aea558b3c07fefef2e2a (patch) | |
| tree | f0620d9ca348e52a02b7b5cf65c67e4c93d2cc16 | |
| parent | 45a84754c9dd2fd2523e97d45c7c48c366b8f47c (diff) | |
| download | mu-cd1e0c811fae4c50c772aea558b3c07fefef2e2a.tar.gz | |
1840
| -rw-r--r-- | 011load.cc | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/011load.cc b/011load.cc index e1977383..0ae42cf5 100644 --- a/011load.cc +++ b/011load.cc @@ -35,7 +35,6 @@ vector<recipe_ordinal> load(istream& in) { } if (Recipe.find(Recipe_ordinal[recipe_name]) != Recipe.end()) { 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 Recipe[Recipe_ordinal[recipe_name]] = slurp_recipe(in); |