diff options
-rw-r--r-- | 001help.cc | 4 | ||||
-rw-r--r-- | 050scenario.cc | 4 |
2 files changed, 4 insertions, 4 deletions
diff --git a/001help.cc b/001help.cc index ea76db25..38e91eed 100644 --- a/001help.cc +++ b/001help.cc @@ -65,6 +65,10 @@ bool is_equal(char* s, const char* lit) { return strncmp(s, lit, strlen(lit)) == 0; } +bool starts_with(const string& s, const string& pat) { + return s.substr(0, pat.size()) == pat; +} + //: I'll throw some style conventions here for want of a better place for them. //: As a rule I hate style guides. Do what you want, that's my motto. But since //: we're dealing with C/C++, the one big thing we want to avoid is undefined diff --git a/050scenario.cc b/050scenario.cc index b814a2de..156f6661 100644 --- a/050scenario.cc +++ b/050scenario.cc @@ -767,7 +767,3 @@ void run_mu_scenario(const string& form) { scenario s = parse_scenario(in); run_mu_scenario(s); } - -bool starts_with(const string& s, const string& pat) { - return s.substr(0, pat.size()) == pat; -} |