Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 2595df1121a07bbced265ffd73c766dcca714ad6)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision 601165821d0880d71183d817e5e75ac1e73f37ec)
@@ -135,5 +135,5 @@
 		for(const auto & c : list) {
 			std::stringstream ss;
-			print( ss, *c, indentAmt );
+			c.print( ss, indentAmt );
 			sorted.push_back(ss.str());
 		}