diff options
Diffstat (limited to '072scenario_screen.cc')
| -rw-r--r-- | 072scenario_screen.cc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/072scenario_screen.cc b/072scenario_screen.cc index b65f1dee..fe91a823 100644 --- a/072scenario_screen.cc +++ b/072scenario_screen.cc @@ -134,6 +134,7 @@ Name[tmp_recipe.at(0)]["screen"] = SCREEN; //? cout << "before: " << curr.to_string() << '\n'; //? 1 if (curr.name == "assume-screen") { curr.operation = Recipe_number["init-fake-screen"]; + assert(curr.operation); assert(curr.products.empty()); curr.products.push_back(reagent("screen:address")); curr.products.at(0).set_value(SCREEN); |