1 files changed, 1 insertions, 1 deletions
diff --git a/src/library.js b/src/library.js
index ebcd4bdc..6d4f048f 100644
--- a/src/library.js
+++ b/src/library.js
@@ -1302,7 +1302,7 @@ function reSign(value, bits, ignore) {
   // without CHECK_SIGNS, we would just do the |0 shortcut, so check that that
   // would indeed give the exact same result.
   if (bits === 32 && (value|0) !== value && typeof value !== 'boolean') {
-    CorrectionsMonitor.note('ReSign');
+    if (!ignore) CorrectionsMonitor.note('ReSign');
   }
 #endif
   return value;