re-add a removed Datatype constructor that was causing a unit test failure, so nightl...

diff --git a/src/util/datatype.h b/src/util/datatype.h
index 842be9b45788a9cf5f13b045b5f8c5634efb31f9..6aeb93bcf3d9d223339941ae592e3acca1d4672f 100644 (file)
--- 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),