comment

yoni206 · Nov 22, 2023 · 8405689 · 8405689
1 parent 921446b
commit 8405689
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/theory/bv/int_blaster.cpp b/src/theory/bv/int_blaster.cpp
@@ -478,7 +478,7 @@ Node IntBlaster::translateWithChildren(
     }
     case Kind::BITVECTOR_BITOF:
     {
-      // ((_ extract i j) a) is a / 2^j mod 2^{i-j+1}
+      // ((_ bitof i) a) is a / 2^i mod 2
       // original = a[i:j]
       uint32_t i = original.getOperator().getConst<BitVectorBitOf>().d_bitIndex;
       Assert(i >= 0);