diff --git a/src/halmos/calldata.py b/src/halmos/calldata.py
index 7f25899c..5433d96f 100644
--- a/src/halmos/calldata.py
+++ b/src/halmos/calldata.py
@@ -141,7 +141,7 @@ def get_dyn_sizes(self, name: str, typ: Type) -> tuple[list[int], BitVecRef]:
                 else self.args.default_bytes_lengths  # bytes or string
             )
             debug_once(
-                f"Warning: no size provided for {name}; default value {sizes} will be used."
+                f"no size provided for {name}; default value {sizes} will be used."
             )
 
         size_var = BitVec(f"p_{name}_length_{uid()}_{self.new_symbol_id():>02}", 256)