export attributes.
This commit is contained in:
parent
6dddceb7b2
commit
c58e9f4562
@ -15,9 +15,7 @@
|
|||||||
* *
|
* *
|
||||||
*************************************************************************/
|
*************************************************************************/
|
||||||
|
|
||||||
:- module(attributes, []).
|
:- module(attributes, [op(1150, fx, attribute)]).
|
||||||
|
|
||||||
:- op(1150, fx, attribute).
|
|
||||||
|
|
||||||
:- multifile
|
:- multifile
|
||||||
user:goal_expansion/3.
|
user:goal_expansion/3.
|
||||||
|
Reference in New Issue
Block a user