1 files changed, 1 insertions, 3 deletions
diff --git a/src/library.js b/src/library.js
index a9476b73..faa86c68 100644
--- a/src/library.js
+++ b/src/library.js
@@ -5415,9 +5415,7 @@ LibraryManager.library = {
   },
 
   EMSCRIPTEN_COMMENT__inline: function(param) {
-    if (param.indexOf('CHECK_OVERFLOW') >= 0) {
-      param = param.split('(')[1].split(',')[0];
-    }
+    param = stripCorrections(param);
     return '// ' + Variables.globals[param].value.text.replace('\\00', '') + '   ';
   }
 };