Fix variable name in ErrorManager

romildo · Oct 9, 2016 · b896b59 · b896b59
1 parent 6ddd9b3
commit b896b59
Showing 1 changed file with 1 addition and 2 deletions.
diff --git a/src/main/java/error/ErrorManager.java b/src/main/java/error/ErrorManager.java
@@ -64,7 +64,7 @@ public void warning(Loc loc, String format, Object... args) {
    }
 
    public void fatal(String format, Object... args) {
-      warningsCounter++;
+      fatalsCounter++;
       message("FATAL: " + format, args);
    }
 
@@ -83,5 +83,4 @@ public void summary() {
       show.accept(getSummary());
    }
 
-
 }