diff --git a/src/checkers/inference/InferenceMain.java b/src/checkers/inference/InferenceMain.java
index e7d167ac..1345e875 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"));