diff --git a/src/plugins/value/engine/transfer_stmt.ml b/src/plugins/value/engine/transfer_stmt.ml index 47e410021e4c3c15d03224b01c33005a517b9477..1f193393075333ca12341dac6de0e13acd4ea716 100644 --- a/src/plugins/value/engine/transfer_stmt.ml +++ b/src/plugins/value/engine/transfer_stmt.ml @@ -911,7 +911,7 @@ module Make (Abstract: Abstractions.Eva) = struct try Cvalue.V.project_ival cvalue with Cvalue.V.Not_based_on_null -> - fail ~exp "this partitioning parameter must evaluatassumee to an integer" + fail ~exp "this partitioning parameter must evaluate to an integer" in valuation, ival