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

This commit is contained in:
Alan Mishchenko 2015-10-17 09:22:23 -07:00
parent 187cbfb6c4
commit 3bc5f32e50
1 changed files with 1 additions and 1 deletions

View File

@ -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/bdd/extra/extraBddThresh.c \
src/bdd/extrab/extraBddThresh.c \
src/bdd/extrab/extraBddTime.c \
src/bdd/extrab/extraBddUnate.c