From: Morgan Deters <mdeters@gmail.com>
Date: Tue, 24 Nov 2009 23:04:45 +0000 (+0000)
Subject: oops, missed a file
X-Git-Tag: cvc5-1.0.0~9409
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=86ce2119c466cdf0240acb97d4fc65cddede19fe;p=cvc5.git

oops, missed a file
---

diff --git a/src/smt/smt_engine.cpp b/src/smt/smt_engine.cpp
new file mode 100644
index 000000000..f6b81465b
--- /dev/null
+++ b/src/smt/smt_engine.cpp
@@ -0,0 +1,17 @@
+/*********************                                           -*- C++ -*-  */
+/** smt_engine.cpp
+ ** This file is part of the CVC4 prototype.
+ ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
+ ** Courant Institute of Mathematical Sciences
+ ** New York University
+ ** See the file COPYING in the top-level source directory for licensing
+ ** information.
+ **
+ **/
+
+#include "smt/smt_engine.h"
+
+namespace CVC4 {
+
+
+}/* CVC4 namespace */