Skip to content
Snippets Groups Projects
Commit cb2a0505 authored by David Bühler's avatar David Bühler
Browse files

[Eva] Fixes a typo in a message.

parent 07055958
No related branches found
No related tags found
No related merge requests found
Hide whitespace changes
Inline Side-by-side
src/plugins/value/engine/transfer_stmt.ml
+ 1
− 1
View file @ cb2a0505
...@@ -911,7 +911,7 @@ module Make (Abstract: Abstractions.Eva) = struct ...@@ -911,7 +911,7 @@ module Make (Abstract: Abstractions.Eva) = struct
try try
Cvalue.V.project_ival cvalue Cvalue.V.project_ival cvalue
with Cvalue.V.Not_based_on_null -> 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 in
valuation, ival valuation, ival
......
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment