From: Christopher L. Conway <christopherleeconway@gmail.com>
Date: Tue, 24 Nov 2009 21:55:37 +0000 (+0000)
Subject: Stubbing commands
X-Git-Tag: cvc5-1.0.0~9411
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=9d3a76f0e4676dd11e533c370a2f3a3e17ff8329;p=cvc5.git

Stubbing commands
---

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