From 034c58548997a0432c0e51378cc8f4102da4b62d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa=20II?= <vsc@dcc.fc.up.pt>
Date: Thu, 22 Apr 2010 09:07:38 +0100
Subject: [PATCH] listing library is a SWI thing.

---
 library/dialect/swi/listing.pl | 5 +++++
 1 file changed, 5 insertions(+)
 create mode 100644 library/dialect/swi/listing.pl

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, []).
+