Index: src/ResolvExpr/CurrentObject.cc
===================================================================
--- src/ResolvExpr/CurrentObject.cc	(revision 307a732f5fa4b97b19f405fc215fcd76f473e3a1)
+++ src/ResolvExpr/CurrentObject.cc	(revision 67f21707cf85c438afa9129acab5564d5cff2d62)
@@ -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 << ")";
 		}