diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-08 10:54:02 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-10-08 10:54:02 -0700 |
| commit | df0f8ad540bd21d4ba27b36ac23e9b9a22c7f853 (patch) | |
| tree | 18dcd470307c9a1abc79c4493bd485cbe2b84892 /src/misc/extra | |
| parent | 141c1de0a278bcb18070f2d6e3edfc0b927436fb (diff) | |
| download | abc-df0f8ad540bd21d4ba27b36ac23e9b9a22c7f853.tar.gz abc-df0f8ad540bd21d4ba27b36ac23e9b9a22c7f853.tar.bz2 abc-df0f8ad540bd21d4ba27b36ac23e9b9a22c7f853.zip | |
Compiler warnings.
Diffstat (limited to 'src/misc/extra')
| -rw-r--r-- | src/misc/extra/module.make | 2 |
1 files changed, 1 insertions, 1 deletions
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 |