listing library is a SWI thing.
This commit is contained in:
parent
39ce07fefb
commit
034c585489
5
library/dialect/swi/listing.pl
Normal file
5
library/dialect/swi/listing.pl
Normal file
@ -0,0 +1,5 @@
|
|||||||
|
|
||||||
|
% SWI compatibility only
|
||||||
|
|
||||||
|
:- module(listing, []).
|
||||||
|
|
Reference in New Issue
Block a user