diff options
| author |  Jason Gross <jgross@mit.edu> | 2017-04-01 22:39:58 -0400 |
|---|---|---|
| committer |  Jason Gross <jasongross9@gmail.com> | 2017-04-02 02:05:58 -0400 |
| commit | d5006369495a4e79c4db011d8fdb334b266381f2 (patch) | |
| tree | 22c4c7079435df4dea10fcd6ca86e5a0da72f59c /src/NewBaseSystem.v | |
| parent | 92f7ffd5e4f6db8529e41d0659b1b69218dac779 (diff) | |
Coalesce Tuple.pointwise2 and Tuple.fieldwise
We don't need both of them. We keep the definition of pointwise2
because it's needed for reification to work, and we keep the name of
fieldwise because it's used in more places. This closes #137.
Diffstat (limited to 'src/NewBaseSystem.v')
0 files changed, 0 insertions, 0 deletions