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

1 files changed, 14 insertions, 0 deletions

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),