diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-17 09:22:23 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-10-17 09:22:23 -0700 |
| commit | 3bc5f32e5002ddf83c11c68543576cf09b26f62a (patch) | |
| tree | 64896fdf4d929842c721a0d3d0f37bc01cf02c92 | |
| parent | 187cbfb6c4ba26db3b3e5c1ab09fa135b912f067 (diff) | |
| download | abc-3bc5f32e5002ddf83c11c68543576cf09b26f62a.tar.gz abc-3bc5f32e5002ddf83c11c68543576cf09b26f62a.tar.bz2 abc-3bc5f32e5002ddf83c11c68543576cf09b26f62a.zip | |
Typo in src/bdd/extrab/module.make.
| -rw-r--r-- | src/bdd/extrab/module.make | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/bdd/extrab/module.make b/src/bdd/extrab/module.make index 8fb66aea..62b578f7 100644 --- 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/bdd/extra/extraBddThresh.c \ + src/bdd/extrab/extraBddThresh.c \ src/bdd/extrab/extraBddTime.c \ src/bdd/extrab/extraBddUnate.c |