diff options
| author | Adam Izraelevitz | 2016-07-27 14:10:27 -0700 |
|---|---|---|
| committer | GitHub | 2016-07-27 14:10:27 -0700 |
| commit | 07149ac70cd4e3b5d5cc33a19736d34fcb3e6478 (patch) | |
| tree | 59f013f53dcc6d2fd3d95b15a9e60bdf0fc5cf43 /src/test | |
| parent | 486cdb5ea4a3450c81231f09488b5b166c363133 (diff) | |
| parent | 41a5d441079d518e91d7c9d80b3504c0560deb0a (diff) | |
Merge pull request #204 from ucb-bar/fix-spec
Fixed reg concrete syntax. #197.
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions