From 4f9ac83ef571d4f91f2a98a71023bfb3a75e8f65 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sat, 14 May 2011 03:38:18 +0000
Subject: [PATCH] re-add a removed Datatype constructor that was causing a unit
 test failure, so nightlies go through tonight

---
 src/util/datatype.h | 14 ++++++++++++++
 1 file changed, 14 insertions(+)

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