Index: src/main.cc
===================================================================
--- src/main.cc	(revision 057608ac6cb8128dfade87d081f239b0aec340c9)
+++ src/main.cc	(revision 5b25c493e3d2ba90c9f756facffb77b282de157b)
@@ -100,8 +100,4 @@
 }
 
-// Helpers for checkInvariant:
-void checkInvariants( std::list< Declaration * > & ) {}
-using ast::checkInvariants;
-
 #define PASS( name, pass, unit, ... )       \
 	if ( errorp ) { cerr << name << endl; } \
@@ -111,5 +107,5 @@
 	Stats::Time::StopBlock();               \
 	if ( invariant ) {                      \
-		checkInvariants(unit);              \
+		ast::checkInvariants(unit);         \
 	}