Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 2595df1121a07bbced265ffd73c766dcca714ad6)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision e91a255f5dee71cf7d5765c7741c5147db2d26e2)
@@ -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());
 		}