Index: src/ResolvExpr/CurrentObject.cc
===================================================================
--- src/ResolvExpr/CurrentObject.cc	(revision 307a732f5fa4b97b19f405fc215fcd76f473e3a1)
+++ src/ResolvExpr/CurrentObject.cc	(revision 1a6e8552cdf095c795a52cfbf402c8ee91b10f23)
@@ -127,5 +127,5 @@
 		}
 
-		virtual void print( std::ostream & out, Indenter indent ) const {
+		virtual void print( std::ostream & out, __attribute__((unused)) Indenter indent ) const {
 			out << "SimpleIterator(" << type << ")";
 		}