Revert "Temporarily remove 'r' extension"
authorEddie Hung <eddie@fpgeh.com>
Tue, 23 Apr 2019 00:41:21 +0000 (17:41 -0700)
committerEddie Hung <eddie@fpgeh.com>
Tue, 23 Apr 2019 00:41:21 +0000 (17:41 -0700)
commit8f30019b68c68258979137a9d9fbbe68794781c5
treef1c158b66d1f48110979586264bdb8c211062d02
parenteaf3c247729365cec776e147f380ce59f7dccd4d
Revert "Temporarily remove 'r' extension"

This reverts commit eaf3c247729365cec776e147f380ce59f7dccd4d.
backends/aiger/xaiger.cc
frontends/aiger/aigerparse.cc