Merge pull request #1026 from YosysHQ/clifford/fix1023
[yosys.git] / backends / aiger / Makefile.inc
2016-11-30 Clifford WolfAdded "write_aiger" command