Stubbing commands

diff --git a/src/util/command.h b/src/util/command.h
index aec65a5c6fd36fa9187d2d2f27ec922f04516eb1..804d3771770e11798af046ce4909426fb5e7c1b3 100644 (file)
--- 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&);
 };