From c21f178b36b6b6f98121b6d0422da0ba7ca59db4 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 18 Feb 2010 09:19:29 +0000
Subject: [PATCH] fix error where \* ( could be scanned as \+( (obs from Paulo
 Moura).

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

diff --git a/C/scanner.c b/C/scanner.c
index d6752cec8..a6bc68671 100644
--- a/C/scanner.c
+++ b/C/scanner.c
@@ -1171,6 +1171,8 @@ Yap_tokenizer(int inp_stream, Term *tposp)
 	t->Tok = Ord(kind = Name_tok);
 	if (ch == '(')
 	  solo_flag = FALSE;
+	else
+	  solo_flag = TRUE;
       }
       break;