diff options
| author | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-16 14:05:23 -0500 |
|---|---|---|
| committer | ajreynol <andrew.j.reynolds@gmail.com> | 2017-03-16 14:05:23 -0500 |
| commit | 00785f2b65eb9dfdfbfcd8b58b0cc57255919c31 (patch) | |
| tree | 3e737a65502c2633d525b4d7344a3ae6f9a3c2ed /proofs/signatures | |
| parent | 46857bda6c6bb6db3481514c8cdee3ecbadb3301 (diff) | |
Minor fixes, always expand applications of lambdas at preprocess.
Diffstat (limited to 'proofs/signatures')
0 files changed, 0 insertions, 0 deletions