doc

yoni206 · Oct 6, 2023 · 5a85b3a · 5a85b3a
1 parent e438421
commit 5a85b3a
Showing 1 changed file with 5 additions and 1 deletion.
diff --git a/src/preprocessing/passes/int_to_bv.cpp b/src/preprocessing/passes/int_to_bv.cpp
@@ -206,7 +206,11 @@ Node IntToBV::intToBV(TNode n, NodeMap& cache)
           }
         }
       }
-
+
+      // abort if the kind did not change and
+      // the original type was integer.
+      // The only exception is an ITE,
+      // in which case we continue.
       if (tn.isInteger() && newKind != Kind::ITE
           && newKind == current.getKind())
       {