Index: src/GenPoly/GenPoly.cc
===================================================================
--- src/GenPoly/GenPoly.cc	(revision e563edf0e794d4c67e735b589a1c95f7fce848f6)
+++ src/GenPoly/GenPoly.cc	(revision 7b5694da33510256b93c764421e1bea0be79d671)
@@ -490,4 +490,6 @@
 		}
 
+		/// Flattens a list of types.
+		// There is another flattenList in Unify.
 		void flattenList( vector<ast::ptr<ast::Type>> const & src,
 				vector<ast::ptr<ast::Type>> & out ) {