Fix for using POSIX basename
authorEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 17:02:37 +0000 (09:02 -0800)
committerEddie Hung <eddieh@ece.ubc.ca>
Tue, 19 Feb 2019 17:02:37 +0000 (09:02 -0800)
commit843e7fc8a70b7510ae8dfbad2c9f66d2d64d0e64
treedbd84f0188a854f2d03bfa830e9b10a607a78dce
parent8e1dbfac3af64339f021ed674bdd98e71cd7fb90
Fix for using POSIX basename
frontends/aiger/aigerparse.cc