Temporarily remove 'r' extension
authorEddie Hung <eddie@fpgeh.com>
Mon, 22 Apr 2019 18:54:19 +0000 (11:54 -0700)
committerEddie Hung <eddie@fpgeh.com>
Mon, 22 Apr 2019 18:54:19 +0000 (11:54 -0700)
commiteaf3c247729365cec776e147f380ce59f7dccd4d
tree0e725db8b00ff3a2ed6d201c41766f81208215b4
parentb780c0a7de3b0f095099461af1434624d2af0c32
Temporarily remove 'r' extension
backends/aiger/xaiger.cc
frontends/aiger/aigerparse.cc