diff options
Diffstat (limited to 'src/opt/lpk/module.make')
| -rw-r--r-- | src/opt/lpk/module.make | 14 |
1 files changed, 7 insertions, 7 deletions
diff --git a/src/opt/lpk/module.make b/src/opt/lpk/module.make index 9e7bbc7c..9a46e0ce 100644 --- a/src/opt/lpk/module.make +++ b/src/opt/lpk/module.make @@ -1,7 +1,7 @@ -SRC += src/aig/lpk/lpkCore.c \ - src/aig/lpk/lpkCut.c \ - src/aig/lpk/lpkMan.c \ - src/aig/lpk/lpkMap.c \ - src/aig/lpk/lpkMulti.c \ - src/aig/lpk/lpkMux.c \ - src/aig/lpk/lpkSets.c +SRC += src/opt/lpk/lpkCore.c \ + src/opt/lpk/lpkCut.c \ + src/opt/lpk/lpkMan.c \ + src/opt/lpk/lpkMap.c \ + src/opt/lpk/lpkMulti.c \ + src/opt/lpk/lpkMux.c \ + src/opt/lpk/lpkSets.c |