Tolerating double machine word size

cksystemsteaching · Feb 19, 2024 · 1a910c8 · 1a910c8
1 parent d4b03aa
commit 1a910c8
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/tools/rotor.c b/tools/rotor.c
@@ -2915,8 +2915,8 @@ uint64_t eval_bitvec_size(uint64_t* line) {
       if (size <= SIZEOFUINT64INBITS)
         return size;
 
-    if (size == 2 * DOUBLEWORDSIZEINBITS)
-      // TODO: tolerating but not yet supporting 128-bit bitvectors
+    if (size == 2 * WORDSIZEINBITS)
+      // TODO: tolerating but not yet supporting double machine word bitvectors
       return size;
 
     printf("%s: evaluate unsupported %lu-bit bitvector error\n", selfie_name, size);