Index: driver/cc1.cc
===================================================================
--- driver/cc1.cc	(revision 8ff178d5ee06e2dd970d121edcf369bda332f653)
+++ driver/cc1.cc	(revision d88f8b3b78a378191ec01bdeee75e6703bc0cc66)
@@ -486,5 +486,5 @@
 int main( const int argc, const char * const argv[], __attribute__((unused)) const char * const env[] ) {
 	#ifdef __DEBUG_H__
-	for ( int int i = 0; env[i] != NULL; i += 1 ) {
+	for ( int i = 0; env[i] != NULL; i += 1 ) {
 		cerr << env[i] << endl;
 	} // for