Index: src/ResolvExpr/module.mk
===================================================================
--- src/ResolvExpr/module.mk	(revision c92bdcc6ef9bc5c1b005f67d1c9f428bb8bd2b4c)
+++ src/ResolvExpr/module.mk	(revision 0f612d22e304288d5575379f38cb245443b974b8)
@@ -52,5 +52,5 @@
       ResolvExpr/SpecCost.cpp \
       ResolvExpr/SpecCost.hpp \
-      ResolvExpr/typeops.hpp \
+      ResolvExpr/Typeops.hpp \
       ResolvExpr/Unify.cpp \
       ResolvExpr/Unify.hpp \