From: Paulo Moura <> Date: Sun, 9 May 2021 20:02:44 +0000 (+0100) Subject: Fix (**)/2 operator type X-Git-Tag: v0.9.0~79^2 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3c567b895f310db8486aad0b018482e5fa397cfb;p=scryer-prolog.git Fix (**)/2 operator type --- 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, \/).