Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit b5e09c63 authored by Mathieu Hemery's avatar Mathieu Hemery

Define a better warning message for undefined parameter

parent 77f46403
......@@ -113,3 +113,7 @@ warning_parameter(Name) :-
nb_setval(troubler, NewList),
print_message(warning, undefined_parameter(Name))
).
prolog:message(undefined_parameter(Name)) -->
[ 'The parameter ~w is not defined, we suppose it positive, and hope it is not a function!'-[Name] ].
Markdown is supported
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