diff --git a/services/web/frontend/js/ide/editor/directives/aceEditor.js b/services/web/frontend/js/ide/editor/directives/aceEditor.js
index 8144f8f08d..89c1bf52b7 100644
--- a/services/web/frontend/js/ide/editor/directives/aceEditor.js
+++ b/services/web/frontend/js/ide/editor/directives/aceEditor.js
@@ -843,7 +843,11 @@ App.directive(
             const hasErrors =
               session
                 .getAnnotations()
-                .filter(annotation => annotation.type !== 'info').length > 0
+                .filter(
+                  annotation =>
+                    annotation.type !== 'info' &&
+                    annotation.source !== 'compile'
+                ).length > 0
 
             if ($rootScope.hasLintingError !== hasErrors) {
               return ($rootScope.hasLintingError = hasErrors)