diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-02-28 13:59:17 -0500 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2017-02-28 13:59:17 -0500 |
| commit | b99dcb22c58b5f26b6473156e18bbe8c269ece31 (patch) | |
| tree | 8e081c254672a336c51f3894842b921745f61f8e /src/Util/Tuple.v | |
| parent | a6ea73f75ebdd8ab31f70a7b85982b52f043d53f (diff) | |
Deduplicate code
There was duplicate code in Reflection.Equality and Reflection.TypeInversion
Diffstat (limited to 'src/Util/Tuple.v')
0 files changed, 0 insertions, 0 deletions