removed "typename" keyword (fix to bug 280)

diff --git a/src/util/datatype.h b/src/util/datatype.h
index 148d85870efb25123ae055fb333242cc9ea250c4..b536cdf2ba03601fdf341fd5b5374c84ff1275ef 100644 (file)
--- 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;