Index: src/GenPoly/module.mk
===================================================================
--- src/GenPoly/module.mk	(revision 83fd57dbde2b629bbcc22cdd6694eccab69dd48e)
+++ src/GenPoly/module.mk	(revision c40157ec46899c5e6a8afa9d8f9f0dba822d528f)
@@ -31,6 +31,6 @@
 	GenPoly/Lvalue.cpp \
 	GenPoly/ScopedSet.h \
-	GenPoly/ScrubTyVars.cc \
-	GenPoly/ScrubTyVars.h \
+	GenPoly/ScrubTypeVars.cpp \
+	GenPoly/ScrubTypeVars.hpp \
 	GenPoly/Specialize.cpp \
 	GenPoly/Specialize.h
