diff --git a/library/dialect/swi/listing.pl b/library/dialect/swi/listing.pl new file mode 100644 index 000000000..64f3d75ef --- /dev/null +++ b/library/dialect/swi/listing.pl @@ -0,0 +1,5 @@ + +% SWI compatibility only + +:- module(listing, []). +