diff options
| author |  Jason Gross <jgross@mit.edu> | 2016-11-03 00:27:46 -0400 |
|---|---|---|
| committer | Jason Gross <jgross@mit.edu> | 2016-11-03 00:27:46 -0400 |
| commit | d8c2ec0923704838f00fcbd22c57a48eb476c75c (patch) | |
| tree | fa32df4f16be3ce675e9128659676f5926d3e15b /src/ModularArithmetic/PseudoMersenneBaseParamProofs.v | |
| parent | b9b03ffa61193848ca921d80ef111f6894b3cd82 (diff) | |
Fix Not_found exception in 8.4
Caused by rewriting with a hypothesis with a type of the form [?1 x y]
where [?1] is an evar.
Diffstat (limited to 'src/ModularArithmetic/PseudoMersenneBaseParamProofs.v')
0 files changed, 0 insertions, 0 deletions