From af61c886b41013c1da5e158b0dcddddcf503009b Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sun, 15 May 2016 08:09:56 +0100 Subject: [PATCH] debugging --- packages/jpl/jpl/jpl.pl | 2 -- 1 file changed, 2 deletions(-) diff --git a/packages/jpl/jpl/jpl.pl b/packages/jpl/jpl/jpl.pl index 58e82a031..3399e69f6 100644 --- a/packages/jpl/jpl/jpl.pl +++ b/packages/jpl/jpl/jpl.pl @@ -155,8 +155,6 @@ jpl_tidy_iref_type_cache( Iref) :- % % finally, an attempt will be made to unify Result with the returned result -:- stop_low_level_trace. - jpl_call(X, Mspec, Params, R) :- ( jpl_object_to_type(X, Type) % the usual case (goal fails safely if X is var or rubbish) -> Obj = X,