diff options
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/command.h | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/src/util/command.h b/src/util/command.h index aec65a5c6..804d37717 100644 --- a/src/util/command.h +++ b/src/util/command.h @@ -19,15 +19,18 @@ class Command { }; class AssertCommand : public Command { +public: AssertCommand(const Expr&); }; class CheckSatCommand : public Command { +public: CheckSatCommand(void); CheckSatCommand(const Expr&); }; class QueryCommand : public Command { +public: QueryCommand(const Expr&); }; |