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

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

(limited to 'src/misc')

diff --git a/src/misc/extra/module.make b/src/misc/extra/module.make
index 87ba8559..14f2c71c 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/extraUtilTrash.c \
+    src/misc/extra/extraUtilThrash.c \
     src/misc/extra/extraUtilTruth.c \
     src/misc/extra/extraUtilUtil.c
-- 
cgit v1.2.3