diff options
Diffstat (limited to 'backends/aiger/Makefile.inc')
| -rw-r--r-- | backends/aiger/Makefile.inc | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/backends/aiger/Makefile.inc b/backends/aiger/Makefile.inc index 0fc37e95c..4a4cf30bd 100644 --- a/backends/aiger/Makefile.inc +++ b/backends/aiger/Makefile.inc @@ -1,3 +1,4 @@ OBJS += backends/aiger/aiger.o +OBJS += backends/aiger/xaiger.o |