From 791f0c12a1ef75d5e06207c0bcb2c65b08fb1815 Mon Sep 17 00:00:00 2001
From: josd <josderoo@gmail.com>
Date: Tue, 4 Feb 2025 22:11:39 +0100
Subject: [PATCH] refreshing

---
 reasoning/conflict-resolution-test/conflict-resolution.pl     | 3 ++-
 reasoning/dijkstra-test/dijkstra.pl                           | 2 +-
 .../healthcare-access-control/healthcare-access-control.pl    | 4 ++--
 3 files changed, 5 insertions(+), 4 deletions(-)

diff --git a/reasoning/conflict-resolution-test/conflict-resolution.pl b/reasoning/conflict-resolution-test/conflict-resolution.pl
index b4b595316..76c3051cd 100644
--- a/reasoning/conflict-resolution-test/conflict-resolution.pl
+++ b/reasoning/conflict-resolution-test/conflict-resolution.pl
@@ -1,7 +1,8 @@
 % policy conflict resolution example
 
 :- op(1200, xfx, :+).
-:- discontiguous (:+)/2.
+
+:- discontiguous((:+)/2).
 
 % context
 '<https://eyereasoner.github.io/ns#accessControl>'(User, Resource, Decision) :-
diff --git a/reasoning/dijkstra-test/dijkstra.pl b/reasoning/dijkstra-test/dijkstra.pl
index 9c2a89bc0..57941c59b 100644
--- a/reasoning/dijkstra-test/dijkstra.pl
+++ b/reasoning/dijkstra-test/dijkstra.pl
@@ -3,7 +3,7 @@
 
 :- op(1200, xfx, :+).
 
-:- discontiguous (:+)/2.
+:- discontiguous((:+)/2).
 
 :- dynamic(edge/2).
 
diff --git a/reasoning/healthcare-access-control/healthcare-access-control.pl b/reasoning/healthcare-access-control/healthcare-access-control.pl
index 81e345a96..65069acd9 100644
--- a/reasoning/healthcare-access-control/healthcare-access-control.pl
+++ b/reasoning/healthcare-access-control/healthcare-access-control.pl
@@ -2,8 +2,8 @@
 
 :- op(1200, xfx, :+).
 
-:- discontiguous (:+)/2.
-:- discontiguous user_permission/3.
+:- discontiguous((:+)/2).
+:- discontiguous(user_permission/3).
 
 :- dynamic(user_permission/3).