From df0f8ad540bd21d4ba27b36ac23e9b9a22c7f853 Mon Sep 17 00:00:00 2001
From: Alan Mishchenko <alanmi@berkeley.edu>
Date: Wed, 8 Oct 2014 10:54:02 -0700
Subject: Compiler warnings.

---
 src/misc/extra/module.make | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/misc/extra')

diff --git a/src/misc/extra/module.make b/src/misc/extra/module.make
index 14f2c71c..13aa8f0f 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
-- 
cgit v1.2.3