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