From 3c567b895f310db8486aad0b018482e5fa397cfb Mon Sep 17 00:00:00 2001 From: Paulo Moura <> Date: Sun, 9 May 2021 21:02:44 +0100 Subject: [PATCH] Fix (**)/2 operator type --- src/lib/ops_and_meta_predicates.pl | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/lib/ops_and_meta_predicates.pl b/src/lib/ops_and_meta_predicates.pl index f84d0fd6..929165e3 100644 --- a/src/lib/ops_and_meta_predicates.pl +++ b/src/lib/ops_and_meta_predicates.pl @@ -15,7 +15,7 @@ :- op(500, yfx, +). :- op(500, yfx, -). :- op(400, yfx, *). -:- op(200, xfy, **). +:- op(200, xfx, **). :- op(200, xfy, ^). :- op(500, yfx, /\). :- op(500, yfx, \/). -- 2.54.0