diff options
author | 2018-01-04 20:31:37 -0500 | |
---|---|---|
committer | 2018-01-05 15:56:49 -0500 | |
commit | 72528f538e8511df6b095f8ea47197c42af09722 (patch) | |
tree | b552bae2a71688a467c1e44bb35eb4aee56eb187 /src/Specific/solinas32_2e255m19_10limbs/freeze.c | |
parent | 86a04b5ec9f4b0f68366b6cb8c89435958b8f158 (diff) |
Fix incorrect overridding of bool notations
This notation system is fragile and kludgy.
This discovered from @davidben's
https://github.com/mit-plv/fiat-crypto/pull/289/commits/ff0fb38346dde67abef982d6305595216d18519b#r159793723
Diffstat (limited to 'src/Specific/solinas32_2e255m19_10limbs/freeze.c')
0 files changed, 0 insertions, 0 deletions