diff options
Diffstat (limited to 'src/options/outputc.h')
| -rw-r--r-- | src/options/outputc.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/options/outputc.h b/src/options/outputc.h index d96468e40..7ad7cea76 100644 --- a/src/options/outputc.h +++ b/src/options/outputc.h @@ -20,6 +20,7 @@ class OutputC Cvc5ostream operator()(const std::string& tag) const; bool isOn(const options::OutputTag tag) const; + bool isOn(const std::string& tag) const; private: std::ostream* d_os; |