start of new file

[IRC.git] / Robust / src / Benchmarks / WebServerJava / Logger.java

diff --git a/Robust/src/Benchmarks/WebServerJava/Logger.java b/Robust/src/Benchmarks/WebServerJava/Logger.java
index be29b3d3998778017135899581afc1e4fe32e538..9e7d3abaadeffbf36b9581680b73ed945c8f1f44 100644 (file)
--- a/Robust/src/Benchmarks/WebServerJava/Logger.java
+++ b/Robust/src/Benchmarks/WebServerJava/Logger.java
@@ -1,6 +1,4 @@
 public class Logger {
-    //Logger flag
-    flag Initialize;
     FileOutputStream fos;