Typo in src/bdd/extrab/module.make.

187cbfb6 · Alan Mishchenko · 80936110 · 187cbfb6
Commit 187cbfb6 authored Oct 17, 2015 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 1 deletions

src/bdd/extrab/module.make
+1 -1

No files found.
--- a/src/bdd/extrab/module.make
+++ b/src/bdd/extrab/module.make
@@ -4,6 +4,6 @@ SRC +=    src/bdd/extrab/extraBddAuto.c \
    src/bdd/extrab/extraBddKmap.c \
    src/bdd/extrab/extraBddMisc.c \
    src/bdd/extrab/extraBddSymm.c \
-    src/misc/extra/extraBddThresh.c \
+    src/bdd/extra/extraBddThresh.c \
    src/bdd/extrab/extraBddTime.c \
    src/bdd/extrab/extraBddUnate.c