From 22c9bd79d503f75db8aa88585954ec8c885af8f4 Mon Sep 17 00:00:00 2001
From: hansen <dominik_hansen@web.de>
Date: Thu, 20 Aug 2015 23:04:59 +0200
Subject: [PATCH] update gitignore
---
.gitignore | 13 +++++++++++++
src/main/java/de/tlc4b/TLC4BGlobals.java | 2 +-
src/main/java/de/tlc4b/prettyprint/TLAPrinter.java | 2 --
3 files changed, 14 insertions(+), 3 deletions(-)
diff --git a/.gitignore b/.gitignore
index ac1e2a4..c86a830 100644
--- a/.gitignore
+++ b/.gitignore
@@ -1 +1,14 @@
local.*
+/bin
+states
+.classpath
+.project
+build.xml
+TODO.txt
+.gradle
+.settings
+build
+src/test/java/testing
+src/test/resources/other
+src/test/resources/testing
+src/test/resources/todo
diff --git a/src/main/java/de/tlc4b/TLC4BGlobals.java b/src/main/java/de/tlc4b/TLC4BGlobals.java
index 3872e5e..77f9efd 100644
--- a/src/main/java/de/tlc4b/TLC4BGlobals.java
+++ b/src/main/java/de/tlc4b/TLC4BGlobals.java
@@ -54,7 +54,7 @@ public class TLC4BGlobals {
useSymmetry = false;
printCoverage = false;
forceTLCToEvalConstants = false;
- checkOnlyMainAssertions = true;
+ checkOnlyMainAssertions = false;
proBconstantsSetup = false;
diff --git a/src/main/java/de/tlc4b/prettyprint/TLAPrinter.java b/src/main/java/de/tlc4b/prettyprint/TLAPrinter.java
index d55e8f0..2f3596d 100644
--- a/src/main/java/de/tlc4b/prettyprint/TLAPrinter.java
+++ b/src/main/java/de/tlc4b/prettyprint/TLAPrinter.java
@@ -1301,7 +1301,6 @@ public class TLAPrinter extends DepthFirstAdapter {
}
moduleStringAppend(" : ");
if (assertionMode) {
- int j = start;
for (int i = 0; i < copy.size(); i++) {
PExpression e = copy.get(i);
moduleStringAppend("TLCSet(");
@@ -1310,7 +1309,6 @@ public class TLAPrinter extends DepthFirstAdapter {
e.apply(this);
moduleStringAppend(")");
moduleStringAppend(" /\\ ");
- j ++;
}
assertionMode = false;
--
GitLab