From b7db7d5f08cb95d41b677684922bd417dfc0b9dd Mon Sep 17 00:00:00 2001
From: d367wang <d367wang@uwaterloo.ca>
Date: Tue, 20 Jul 2021 18:28:23 -0400
Subject: [PATCH] remove -Awarns option

---
 src/checkers/inference/InferenceMain.java | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/src/checkers/inference/InferenceMain.java b/src/checkers/inference/InferenceMain.java
index 9ada4b6f6..c15740fcc 100644
--- a/src/checkers/inference/InferenceMain.java
+++ b/src/checkers/inference/InferenceMain.java
@@ -160,8 +160,7 @@ private void startCheckerFramework() {
                 "-processor", "checkers.inference.InferenceChecker",
                 "-Xmaxwarns", "1000",
                 "-Xmaxerrs", "1000",
-                "-XDignore.symbol.file",
-                "-Awarns"));
+                "-XDignore.symbol.file"));
 
         if (SystemUtil.getJreVersion() == 8) {
             checkerFrameworkArgs.addAll(Arrays.asList("-source", "8", "-target", "8"));