diff options
| -rw-r--r-- | cpp/020run.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cpp/020run.cc b/cpp/020run.cc index 95a8a0b1..963fcd78 100644 --- a/cpp/020run.cc +++ b/cpp/020run.cc @@ -137,6 +137,7 @@ load_permanently("core.mu"); // helper for tests void run(string form) { vector<recipe_number> tmp = load(form); + if (tmp.empty()) return; transform_all(); run(tmp.front()); } |