Index: src/ResolvExpr/AlternativeFinder.cc
===================================================================
--- src/ResolvExpr/AlternativeFinder.cc	(revision 8f7cea185385710ca47eaacdb8bc3a59fb752db5)
+++ src/ResolvExpr/AlternativeFinder.cc	(revision f006f010a16b044c89b41fdeb2442986671eb5dc)
@@ -38,5 +38,5 @@
 #include "SynTree/TypeSubstitution.h"
 #include "SymTab/Validate.h"
-#include "Tuples/TupleAssignment.h"
+#include "Tuples/Tuples.h"
 #include "Common/utility.h"
 #include "InitTweak/InitTweak.h"