From 42ebf1db4bf74ad9f936a309fd4e75b39ad92be8 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@xato.(none)>
Date: Tue, 21 Jun 2011 15:09:30 +0100
Subject: [PATCH] commits have no end of file.

---
 C/iopreds.c | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/C/iopreds.c b/C/iopreds.c
index 5bf31ad81..0b4e53346 100644
--- a/C/iopreds.c
+++ b/C/iopreds.c
@@ -633,6 +633,8 @@ static Int
       } else {
 	Yap_clean_tokenizer(tokstart, LOCAL_VarTable, LOCAL_AnonVarTable, LOCAL_Comments);
 	
+	if (store_comments && !Yap_unify(LOCAL_Comments, ARG7))
+	  return FALSE;
 	return Yap_unify_constant(ARG2, MkAtomTerm (AtomEof))
 	  && Yap_unify_constant(ARG4, TermNil);
       }