patch by UN: op/3 typo in error
This commit is contained in:
parent
4d5c70b64b
commit
1e2abadd78
@ -93,7 +93,7 @@
|
||||
'$check_op_name'(_,_,',',G) :- !,
|
||||
'$do_error'(permission_error(modify,operator,','),G).
|
||||
'$check_op_name'(_,_,'[]',G) :- !,
|
||||
'$do_error'(permispsion_error(create,operator,'[]'),G).
|
||||
'$do_error'(permission_error(create,operator,'[]'),G).
|
||||
'$check_op_name'(_,_,'{}',G) :- !,
|
||||
'$do_error'(permission_error(create,operator,'{}'),G).
|
||||
'$check_op_name'(P,T,'|',G) :-
|
||||
|
Reference in New Issue
Block a user