diff options
| author | Andrew Reynolds <andrew.j.reynolds@gmail.com> | 2020-12-02 10:17:09 -0600 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-12-02 10:17:09 -0600 |
| commit | 57b54a2eba7904652dfaf7e32b4eac8abd22c79b (patch) | |
| tree | 79e8ef9e722f62b48ee948a0cce9078afff7f2f0 /proofs/signatures/er.plf | |
| parent | 5151238c98492fe332a2603c05752f3319ae8035 (diff) | |
Use new let binding for cvc printer (#5561)
Also changes names slightly to avoid accidental uses of toStream, which can lead to infinite loops if the wrong version is used.
Diffstat (limited to 'proofs/signatures/er.plf')
0 files changed, 0 insertions, 0 deletions