diff options
| -rw-r--r-- | 050scenario.cc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/050scenario.cc b/050scenario.cc index ce80614e..57516569 100644 --- a/050scenario.cc +++ b/050scenario.cc @@ -70,6 +70,10 @@ vector<scenario> Scenarios; else if (command == "scenario") { Scenarios.push_back(parse_scenario(in)); } +else if (command == "pending-scenario") { + // for temporary use only + parse_scenario(in); // discard +} :(code) scenario parse_scenario(istream& in) { |