From dcfdb5e6141507f7ec66efdb2745cde59f286f9f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= <vsc@dcc.fc.up.pt>
Date: Wed, 30 Nov 2011 13:02:44 +0000
Subject: [PATCH] don't try to release null pointer.

---
 C/scanner.c | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/C/scanner.c b/C/scanner.c
index 1bb8c89d4..a5bb025f9 100644
--- a/C/scanner.c
+++ b/C/scanner.c
@@ -1393,7 +1393,8 @@ Yap_clean_tokenizer(TokEntry *tokstart, VarEntry *vartable, VarEntry *anonvartab
   LOCAL_Comments = TermNil;
   LOCAL_CommentsNextChar = LOCAL_CommentsTail = NULL;
   free(LOCAL_CommentsBuff);
-  LOCAL_CommentsBuff = NULL;
+  if (LOCAL_CommentsBuff)
+    LOCAL_CommentsBuff = NULL;
   LOCAL_CommentsBuffLim = 0;
 }