Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Browse files

fix proof output bug in geo proofs 2

  • Loading branch information...
commit d6348ae01735c98a57f61c6d88470419314b340a 1 parent 6316168
@mwittels mwittels authored
Showing with 1 addition and 2 deletions.
  1. +1 −2  utils/proofs.js
View
3  utils/proofs.js
@@ -402,8 +402,7 @@ function outputFinishedProof() {
numberGivens++;
}
});
- numberGivens /= 2;
- for (var i = 0; i < finishedKeys.length; i += 2) {
+ for (var i = 0; i < finishedKeys.length; i ++) {
if (finishedEqualities[finishedKeys[i]].substring(0, 4) != "Same") {
if (finishedEqualities[finishedKeys[i]] === "given") {
numberGivens--;
Please sign in to comment.
Something went wrong with that request. Please try again.