From d6402f72e4a6daa293821ac62e799f736096b5a1 Mon Sep 17 00:00:00 2001 From: Jan Wielemaker Date: Wed, 4 Sep 2019 19:34:30 +0200 Subject: [PATCH] Avoid redefinition warning. --- http_exception.pl | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/http_exception.pl b/http_exception.pl index 0893f00..4c08ff6 100644 --- a/http_exception.pl +++ b/http_exception.pl @@ -118,7 +118,7 @@ resource_error(E), [connection(close)], []) :- - resource_error(E), + is_resource_error(E), !. map_exception_to_http_status(E, bad_request(E2), @@ -132,7 +132,7 @@ [connection(close)], []). -resource_error(error(resource_error(_), _)). +is_resource_error(error(resource_error(_), _)). bad_request_exception(error(Error, Context)) :- nonvar(Error),