From 0fa3fff5d552af4707dd644cf30a4eba19559546 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Sun, 21 Nov 2010 22:09:07 +0000
Subject: [PATCH] [PATCH-YAP 5/5] ISO: reject 1E1 as float notation from ulrich
 neumerkel

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

diff --git a/C/scanner.c b/C/scanner.c
index 415b74e92..bc230f521 100755
--- a/C/scanner.c
+++ b/C/scanner.c
@@ -602,8 +602,8 @@ get_num(int *chp, int *chbuffp, int inp_stream, int (*Nxtch) (int), int (*Quoted
       has_overflow = TRUE;
     ch = Nxtch(inp_stream);
   }
-  if (might_be_float && (ch == '.' || ch == 'e' )) {
-    if (ch == '.') {
+  if (might_be_float && ch == '.') {
+    {
       if (--max_size == 0) {
 	Yap_ErrorMessage = "Number Too Long";
 	return TermNil;