From cb2a05059b0f3ce3fbc1fc0dced94af19b01dc77 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Tue, 26 Mar 2019 16:56:23 +0100
Subject: [PATCH] [Eva] Fixes a typo in a message.
---
src/plugins/value/engine/transfer_stmt.ml | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/src/plugins/value/engine/transfer_stmt.ml b/src/plugins/value/engine/transfer_stmt.ml
index 47e410021e4..1f193393075 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
--
GitLab