Index: src/SynTree/Type.h
===================================================================
--- src/SynTree/Type.h	(revision bbbc067e84adc59b31d39e97991980bf6379934a)
+++ src/SynTree/Type.h	(revision 80eefcbc5f9cf0e96b03174100a2ac5bb28ee6ac)
@@ -10,6 +10,6 @@
 // Created On       : Mon May 18 07:44:20 2015
 // Last Modified By : Peter A. Buhr
-// Last Modified On : Mon Sep 25 14:14:01 2017
-// Update Count     : 154
+// Last Modified On : Fri Feb  8 09:17:09 2019
+// Update Count     : 164
 //
 
@@ -18,8 +18,8 @@
 #include <strings.h>         // for ffs
 #include <cassert>           // for assert, assertf
-#include <list>              // for list, _List_iterator
+#include <list>
 #include <ostream>           // for ostream, operator<<, basic_ostream
 #include <string>            // for string
-#include <vector>
+#include <vector>            // for vector
 
 #include "BaseSyntaxNode.h"  // for BaseSyntaxNode
@@ -134,5 +134,5 @@
 	}; // Qualifiers
 
-	typedef std::list<TypeDecl *> ForallList;
+	typedef std::vector<TypeDecl *> ForallList;
 
 	Qualifiers tq;