This commit is contained in:
Vitor Santos Costa
2018-02-20 22:59:17 +00:00
parent e93c01f8e0
commit 3e71d171e7
9 changed files with 47 additions and 38 deletions

View File

@@ -116,8 +116,8 @@ debugging(Topic) :-
debugging(Topic, Bool) :-
debugging(Topic, Bool, _To).
%% debug(+Topic) is det.
%% nodebug(+Topic) is det.
%% @pred debug(+Topic) is det.
%% @pred nodebug(+Topic) is det.
%
% Add/remove a topic from being printed. nodebug(_) removes all
% topics. Gives a warning if the topic is not defined unless it is