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&);
 };