diff options
author | Jason Gross <jagro@google.com> | 2016-06-22 13:27:44 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-06-22 13:27:44 -0700 |
commit | acd8d172e3112372be930544af57c36bf085e6c2 (patch) | |
tree | 94087fb35ee54b0e765fd95f5c414ec05e681c7b /src/BaseSystem.v | |
parent | 29a82aac609e7ae9358ce2bdd98b51f25fcd2b8e (diff) |
Fix for broken abstract
It breaks when used in [Instance ... := _.]
Diffstat (limited to 'src/BaseSystem.v')
0 files changed, 0 insertions, 0 deletions