From 9d1ae2f96a2f02bcb105d51f406ef2d647edc111 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 20 Jan 2011 12:03:38 -0600
Subject: [PATCH] allow spaces in numerica atoms/strings.

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

diff --git a/C/scanner.c b/C/scanner.c
index a97b78b86..4eb362753 100755
--- a/C/scanner.c
+++ b/C/scanner.c
@@ -717,6 +717,9 @@ Yap_scan_num(int (*Nxtch) (int))
     return TermNil;
   }
   ch = Nxtch(-1);
+  while (chtype(ch) == BS) {
+    ch = Nxtch(-1);
+  }
   if (ch == '-') {
     sign = -1;
     ch = Nxtch(-1);