From 9d3a76f0e4676dd11e533c370a2f3a3e17ff8329 Mon Sep 17 00:00:00 2001 From: "Christopher L. Conway" Date: Tue, 24 Nov 2009 21:55:37 +0000 Subject: [PATCH] Stubbing commands --- src/util/command.h | 3 +++ 1 file changed, 3 insertions(+) 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&); }; -- 2.30.2