[PATCH-YAP 5/5] ISO: reject 1E1 as float notation

from ulrich neumerkel
This commit is contained in:
Vitor Santos Costa 2010-11-21 22:09:07 +00:00
parent c4913849c6
commit 0fa3fff5d5

View File

@ -602,8 +602,8 @@ get_num(int *chp, int *chbuffp, int inp_stream, int (*Nxtch) (int), int (*Quoted
has_overflow = TRUE; has_overflow = TRUE;
ch = Nxtch(inp_stream); ch = Nxtch(inp_stream);
} }
if (might_be_float && (ch == '.' || ch == 'e' )) { if (might_be_float && ch == '.') {
if (ch == '.') { {
if (--max_size == 0) { if (--max_size == 0) {
Yap_ErrorMessage = "Number Too Long"; Yap_ErrorMessage = "Number Too Long";
return TermNil; return TermNil;