From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 14 May 2011 03:38:18 +0000 (+0000)
Subject: re-add a removed Datatype constructor that was causing a unit test failure, so nightl... 
X-Git-Tag: cvc5-1.0.0~8547
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=4f9ac83ef571d4f91f2a98a71023bfb3a75e8f65;p=cvc5.git

re-add a removed Datatype constructor that was causing a unit test failure, so nightlies go through tonight
---

diff --git a/src/util/datatype.h b/src/util/datatype.h
index 842be9b45..6aeb93bcf 100644
--- a/src/util/datatype.h
+++ b/src/util/datatype.h
@@ -352,6 +352,12 @@ private:
 public:
 
   /** Create a new Datatype of the given name. */
+  inline explicit Datatype(std::string name);
+
+  /**
+   * Create a new Datatype of the given name, with the given
+   * parameterization.
+   */
   inline explicit Datatype(std::string name, std::vector<Type>& params);
 
   /** Add a constructor to this Datatype. */
@@ -494,6 +500,14 @@ inline std::string Datatype::UnresolvedType::getName() const throw() {
   return d_name;
 }
 
+inline Datatype::Datatype(std::string name) :
+  d_name(name),
+  d_params(),
+  d_constructors(),
+  d_resolved(false),
+  d_self() {
+}
+
 inline Datatype::Datatype(std::string name, std::vector<Type>& params) :
   d_name(name),
   d_params(params),