1 files changed, 5 insertions, 5 deletions
diff --git a/lib/compilers/ppci.js b/lib/compilers/ppci.js
index 0ad446071..cd23c9121 100644
--- a/lib/compilers/ppci.js
+++ b/lib/compilers/ppci.js
@@ -26,18 +26,18 @@ const BaseCompiler = require('../base-compiler'),
     exec = require('../exec'),
     logger = require('../logger').logger;
 
-const forbiddenOptions = [
+const forbiddenOptions = new Set([
     '--report',
     '--text-report',
-    '--html-report'
-];
+    '--html-report',
+]);
 
 class PPCICompiler extends BaseCompiler {
     filterUserOptions(args) {
         return args.filter((item) => {
-            if (typeof item !== "string") return true;
+            if (typeof item !== 'string') return true;
 
-            return !forbiddenOptions.includes(item.toLowerCase());
+            return !forbiddenOptions.has(item.toLowerCase());
         });
     }