From ad5e29ba722e935a2af6735b32b6228503e59881 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Tue, 14 Jun 2011 09:03:44 +0100
Subject: [PATCH] fix comment option in read_term.

---
 pl/yio.yap | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pl/yio.yap b/pl/yio.yap
index 68858ac8a..b594f0267 100644
--- a/pl/yio.yap
+++ b/pl/yio.yap
@@ -44,6 +44,7 @@
 '$check_opt_read'(term_position(_), _) :- !.
 '$check_opt_read'(term_position(_), _) :- !.
 '$check_opt_read'(comments(_), _) :- !.
+'$check_opt_read'(module(_), _) :- !.
 '$check_opt_read'(A, G) :-
 	'$do_error'(domain_error(read_option,A),G).