From 71a524662dbd822db2347dd03ad9522113f11d85 Mon Sep 17 00:00:00 2001 From: Markus Triska Date: Thu, 18 Feb 2021 19:16:11 +0100 Subject: [PATCH] add appropriate meta_predicate/1 declarations --- src/lib/debug.pl | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/lib/debug.pl b/src/lib/debug.pl index bc9f9df8..ab84f15b 100644 --- a/src/lib/debug.pl +++ b/src/lib/debug.pl @@ -11,6 +11,10 @@ :- use_module(library(format), [portray_clause/1]). +:- meta_predicate *(0). +:- meta_predicate $(0). +:- meta_predicate $-(0). + $-(G_0) :- catch(G_0, Ex, ( portray_clause(exception:Ex:G_0), throw(Ex) ) ). -- 2.54.0