diff options
| author | Brian Campbell | 2018-07-02 17:18:48 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-02 18:49:29 +0100 |
| commit | 02923ba7a62b7b383a02fb04c40be31ffbdb75a4 (patch) | |
| tree | 0c468c830ea5eb2982998d2362a513cbe0aa6d99 /lib/coq | |
| parent | e0059c15e282c98bc227962a1df6ae0ad34de477 (diff) | |
Coq: multiple record field updates
Uses simple method of printing the entire record, in lieu of any decent
record update syntax.
Diffstat (limited to 'lib/coq')
0 files changed, 0 insertions, 0 deletions