From: Morgan Deters <mdeters@gmail.com>
Date: Wed, 28 Sep 2011 00:45:46 +0000 (+0000)
Subject: removed "typename" keyword (fix to bug 280)
X-Git-Tag: cvc5-1.0.0~8456
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=64c703d55dc132d3acb4f7da5ab9403886f121c0;p=cvc5.git

removed "typename" keyword (fix to bug 280)
---

diff --git a/src/util/datatype.h b/src/util/datatype.h
index 148d85870..b536cdf2b 100644
--- a/src/util/datatype.h
+++ b/src/util/datatype.h
@@ -326,9 +326,9 @@ public:
   };/* class Datatype::Constructor */
 
   /** The type for iterators over constructors. */
-  typedef typename std::vector<Constructor>::iterator iterator;
+  typedef std::vector<Constructor>::iterator iterator;
   /** The (const) type for iterators over constructors. */
-  typedef typename std::vector<Constructor>::const_iterator const_iterator;
+  typedef std::vector<Constructor>::const_iterator const_iterator;
 
 private:
   std::string d_name;