From db640d478c8b4b896102b1340383411f1ac1c555 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Fri, 12 Jun 2020 14:57:00 +0200
Subject: [PATCH] [Eva] Fixes the error message of option -eva-builtin.
---
src/plugins/value/value_parameters.ml | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/src/plugins/value/value_parameters.ml b/src/plugins/value/value_parameters.ml
index 5d65b1fc3ea..cd4ef32136c 100644
--- a/src/plugins/value/value_parameters.ml
+++ b/src/plugins/value/value_parameters.ml
@@ -918,13 +918,13 @@ module BuiltinsOverrides =
begin match nameopt with
| Some name ->
if not (!Db.Value.mem_builtin name) then
- abort "option '-val-builtin %a:%s': undeclared builtin '%s'@.\
+ abort "option '-eva-builtin %a:%s': undeclared builtin '%s'@.\
declared builtins: @[%a@]"
Kernel_function.pretty kf name name
(Pretty_utils.pp_list ~sep:",@ " Format.pp_print_string)
(List.map fst (!Db.Value.registered_builtins ()))
| _ -> abort
- "option '-val-builtin':@ \
+ "option '-eva-builtin':@ \
no builtin associated to function '%a',@ use '%a:<builtin>'"
Kernel_function.pretty kf Kernel_function.pretty kf
end;
--
GitLab