start of new file

[IRC.git] / Robust / src / Benchmarks / TileSearch / Tag / GlobalCounter.java

diff --git a/Robust/src/Benchmarks/TileSearch/Tag/GlobalCounter.java b/Robust/src/Benchmarks/TileSearch/Tag/GlobalCounter.java
index 53e02583f01f000c6a3f13d5790a7d96021d25ac..68f853e6826fd7e337ddbc158a095e58610d3b4f 100644 (file)
--- a/Robust/src/Benchmarks/TileSearch/Tag/GlobalCounter.java
+++ b/Robust/src/Benchmarks/TileSearch/Tag/GlobalCounter.java
@@ -1,8 +1,10 @@
 public class GlobalCounter {
     flag Init;
     public int counter;
+       public boolean partial;
 
     public GlobalCounter() {
        counter = 0;
+       partial = false;
     }
 }