Index: src/GenPoly/GenPoly.cc
===================================================================
--- src/GenPoly/GenPoly.cc	(revision e24955a299e27c7c38facff8d8c9dd1df79b85aa)
+++ src/GenPoly/GenPoly.cc	(revision 77f347d1c8509dbee8624f8d6d908e6b8338ca40)
@@ -64,5 +64,5 @@
 			return false;
 		}
-		
+
 		/// Replaces a TypeInstType by its referrent in the environment, if applicable
 		Type* replaceTypeInst( Type* type, const TypeSubstitution* env ) {
@@ -78,5 +78,5 @@
 	Type *isPolyType( Type *type, const TypeSubstitution *env ) {
 		type = replaceTypeInst( type, env );
-		
+
 		if ( TypeInstType *typeInst = dynamic_cast< TypeInstType * >( type ) ) {
 			return type;
@@ -91,5 +91,5 @@
 	Type *isPolyType( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env ) {
 		type = replaceTypeInst( type, env );
-		
+
 		if ( TypeInstType *typeInst = dynamic_cast< TypeInstType * >( type ) ) {
 			if ( tyVars.find( typeInst->get_name() ) != tyVars.end() ) {
@@ -106,5 +106,5 @@
 	Type *isPolyPtr( Type *type, const TypeSubstitution *env ) {
 		type = replaceTypeInst( type, env );
-		
+
 		if ( PointerType *ptr = dynamic_cast< PointerType *>( type ) ) {
 			return isPolyType( ptr->get_base(), env );
@@ -115,5 +115,5 @@
 	Type *isPolyPtr( Type *type, const TyVarMap &tyVars, const TypeSubstitution *env ) {
 		type = replaceTypeInst( type, env );
-		
+
 		if ( PointerType *ptr = dynamic_cast< PointerType *>( type ) ) {
 			return isPolyType( ptr->get_base(), tyVars, env );
@@ -129,5 +129,5 @@
 		while ( true ) {
 			type = replaceTypeInst( type, env );
-		
+
 			if ( PointerType *ptr = dynamic_cast< PointerType *>( type ) ) {
 				type = ptr->get_base();
@@ -146,5 +146,5 @@
 		while ( true ) {
 			type = replaceTypeInst( type, env );
-		
+
 			if ( PointerType *ptr = dynamic_cast< PointerType *>( type ) ) {
 				type = ptr->get_base();