From 46744810aec9ccea3900798be15026cc64b30f5e Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 24 Aug 2008 14:24:02 +0100
Subject: [PATCH] support exporting DCG rules as // (swi compatibility).

---
 pl/modules.yap | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/pl/modules.yap b/pl/modules.yap
index 3141bd320..4e6b006ad 100644
--- a/pl/modules.yap
+++ b/pl/modules.yap
@@ -90,6 +90,9 @@ module(N) :-
 '$process_exports'([],_,[]).
 '$process_exports'([Name/Arity|Exports],Mod,[Name/Arity|ExportedPreds]):- !,
 	'$process_exports'(Exports,Mod,ExportedPreds).
+'$process_exports'([Name//Arity|Exports],Mod,[Name/Arity2|ExportedPreds]):- !,
+	Arity2 is Arity+2,
+	'$process_exports'(Exports,Mod,ExportedPreds).
 '$process_exports'([op(Prio,Assoc,Name)|Exports],Mod,ExportedPreds) :- !,
 	op(Prio,Assoc,Name),
 	'$process_exports'(Exports,Mod,ExportedPreds).