Merge pull request #2080 from YosysHQ/eddie/fix_test_warnings
[yosys.git] / backends / smv / Makefile.inc
1
2 OBJS += backends/smv/smv.o
3