diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-22 08:01:00 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2005-08-22 08:01:00 -0700 |
| commit | d01b1a0eee0ff49d18d8235f533fbb214c61d28a (patch) | |
| tree | c302704cbd93586db8ab6398d50189b50b4e32c3 /src/sat | |
| parent | 0e4de190ff4e25f5904a571b79a225363d5fc369 (diff) | |
| download | abc-d01b1a0eee0ff49d18d8235f533fbb214c61d28a.tar.gz abc-d01b1a0eee0ff49d18d8235f533fbb214c61d28a.tar.bz2 abc-d01b1a0eee0ff49d18d8235f533fbb214c61d28a.zip | |
Version abc50822
Diffstat (limited to 'src/sat')
| -rw-r--r-- | src/sat/sim/module.make | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/src/sat/sim/module.make b/src/sat/sim/module.make index 8f1b4ded..ac887acf 100644 --- a/src/sat/sim/module.make +++ b/src/sat/sim/module.make @@ -1,6 +1,6 @@ -SRC += simMan.c \ - simSat.c \ - simSupp.c \ - simSym.c \ - simUnate.c \ - simUtils.c +SRC += src/sat/sim/simMan.c \ + src/sat/sim/simSat.c \ + src/sat/sim/simSupp.c \ + src/sat/sim/simSym.c \ + src/sat/sim/simUnate.c \ + src/sat/sim/simUtils.c |