diff --git a/src/misc/extra/module.make b/src/misc/extra/module.make
index 14f2c71c9..13aa8f0f0 100644
--- a/src/misc/extra/module.make
+++ b/src/misc/extra/module.make
@@ -18,6 +18,6 @@ SRC +=    src/misc/extra/extraBddAuto.c \
     src/misc/extra/extraUtilProgress.c \
     src/misc/extra/extraUtilReader.c \
     src/misc/extra/extraUtilSupp.c \
-    src/misc/extra/extraUtilThrash.c \
+    src/misc/extra/extraUtilThresh.c \
     src/misc/extra/extraUtilTruth.c \
     src/misc/extra/extraUtilUtil.c