diff options
author | Jason Gross <jagro@google.com> | 2016-06-23 11:55:01 -0700 |
---|---|---|
committer | Jason Gross <jagro@google.com> | 2016-06-23 11:55:01 -0700 |
commit | ab316479687b2e7575b39a2a90e5588b4565524a (patch) | |
tree | 2ced161f40cb17ab9f0e8b429b7abe4c77406f61 /src/Algebra.v | |
parent | f2a5ceac14fa3c4a8f275ff9bfc0325b31e2ded8 (diff) |
Work around bug #4851 in nsatz
Now our [nsatz] does not barf when you have duplicate equations in the
context.
Diffstat (limited to 'src/Algebra.v')
0 files changed, 0 insertions, 0 deletions