Attention une mise à jour du service Gitlab va être effectuée le mardi 30 novembre entre 17h30 et 18h00. Cette mise à jour va générer une interruption du service dont nous ne maîtrisons pas complètement la durée mais qui ne devrait pas excéder quelques minutes. Cette mise à jour intermédiaire en version 14.0.12 nous permettra de rapidement pouvoir mettre à votre disposition une version plus récente.

Commit 5299bb21 authored by SOLIMAN Sylvain's avatar SOLIMAN Sylvain
Browse files

handle atomic arguments to print_message in a default way

parent 56dab4e7
......@@ -477,6 +477,11 @@ user:message_hook(_Msg, warning, _Lines) :-
fail.
prolog:message(Atom) -->
{ atomic(Atom) },
[ '~w'-[Atom]].
:- meta_predicate with_clean(+, 0).
with_clean(Prototypes, Goal) :-
......
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