diff --git a/pl/debug.yap b/pl/debug.yap index 08f3d8acd..c2d8a3e8e 100644 --- a/pl/debug.yap +++ b/pl/debug.yap @@ -146,10 +146,6 @@ debug :- nb_setval('$debug',Mode), nb_setval('$debug_run',off). -'$start_debugging'(Mode) :- - nb_setval('$debug',Mode), - nb_setval('$debug_run',off). - nodebug :- nb_setval('$debug',off), nb_setval('$trace',off),