Fix (**)/2 operator type

This commit is contained in:
Paulo Moura
2021-05-09 21:02:44 +01:00
parent 9b483d381f
commit 3c567b895f

View File

@@ -15,7 +15,7 @@
:- op(500, yfx, +). :- op(500, yfx, +).
:- op(500, yfx, -). :- op(500, yfx, -).
:- op(400, yfx, *). :- op(400, yfx, *).
:- op(200, xfy, **). :- op(200, xfx, **).
:- op(200, xfy, ^). :- op(200, xfy, ^).
:- op(500, yfx, /\). :- op(500, yfx, /\).
:- op(500, yfx, \/). :- op(500, yfx, \/).