From 2d330f3bee1fc765753f0e27c5ac364ae914b6a7 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Mon, 9 Nov 2015 11:29:09 +0000
Subject: [PATCH] user defined directives are multiple.

---
 pl/directives.yap | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/pl/directives.yap b/pl/directives.yap
index 25735dc97..0e2084276 100644
--- a/pl/directives.yap
+++ b/pl/directives.yap
@@ -67,6 +67,8 @@
 '$all_directives'(G) :- !,
 	'$directive'(G).
 
+:- multifile '$directive'/1.
+
 '$directive'(block(_)).
 '$directive'(char_conversion(_,_)).
 '$directive'(compile(_)).
@@ -132,6 +134,8 @@ considered.
 
 
 */
+:- multifile '$exec_directive'/5.
+
 '$exec_directive'(initialization(D), _, M, _, _) :-
 	'$initialization'(M:D).
 '$exec_directive'(initialization(D,OPT), _, M, _, _) :-