diff --git a/tock_support_cppcsp.h b/tock_support_cppcsp.h
index 8a0e285..6b8029a 100644
--- a/tock_support_cppcsp.h
+++ b/tock_support_cppcsp.h
@@ -494,7 +494,7 @@ public:
 		return *this;
 	}
 	
-	typedef std::list<T>::iterator iterator;
+	typedef typename std::list<T>::iterator iterator;
 	
 	inline iterator beginSeqEach()
 	{