From b896b597aae401563b6abc0d461805ba4327cb24 Mon Sep 17 00:00:00 2001
From: romildo <malaquias@gmail.com>
Date: Sun, 9 Oct 2016 06:46:49 -0300
Subject: [PATCH] Fix variable name in ErrorManager

---
 src/main/java/error/ErrorManager.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/main/java/error/ErrorManager.java b/src/main/java/error/ErrorManager.java
index 4177bcc..eaa1f26 100644
--- 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());
    }
 
-
 }