diff options
| author | Adam Izraelevitz | 2016-06-09 13:19:08 -0700 |
|---|---|---|
| committer | GitHub | 2016-06-09 13:19:08 -0700 |
| commit | 7d1202e1dfe00773be6e04fb7877ac084c7a7603 (patch) | |
| tree | 8e985e37534ad30a5d01629d2225ff886bea5855 /src/test | |
| parent | cc4e7e39ebad106ff72f7ac97dcdc99048ee5347 (diff) | |
| parent | 71e1bc9b96507a3346c96f8ea17b00aa42ea1775 (diff) | |
Merge pull request #180 from ucb-bar/fix-warning
Suppress "match may not be exhaustive" warning
Diffstat (limited to 'src/test')
0 files changed, 0 insertions, 0 deletions