From dddad72a0e10c6c09ed6a3ce941f8055ec22309f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?V=C3=ADtor=20Santos=20Costa?= Date: Fri, 19 Feb 2010 14:16:57 +0000 Subject: [PATCH] AtomDouble was not defined correctly. --- C/parser.c | 2 +- H/iatoms.h | 1 + misc/ATOMS | 2 +- packages/jpl | 2 +- 4 files changed, 4 insertions(+), 3 deletions(-) diff --git a/C/parser.c b/C/parser.c index 7c29f9105..e4b69c103 100644 --- a/C/parser.c +++ b/C/parser.c @@ -499,7 +499,7 @@ ParseTerm(int prio, JMPBUFF *FailBuff) if (func == NULL) { Yap_ErrorMessage = "Heap Overflow"; FAIL; - } + } t = ParseTerm(oprprio, FailBuff); t = Yap_MkApplTerm(func, 1, &t); /* check for possible overflow against local stack */ diff --git a/H/iatoms.h b/H/iatoms.h index 14bce0cfd..fbe353e40 100644 --- a/H/iatoms.h +++ b/H/iatoms.h @@ -63,6 +63,7 @@ AtomDBTerm = Yap_LookupAtom("db_term"); AtomDBref = Yap_FullLookupAtom("$dbref"); AtomDInteger = Yap_FullLookupAtom("$integer"); + AtomDOUBLE = Yap_FullLookupAtom("Double"); AtomDec10 = Yap_LookupAtom("dec10"); AtomDefault = Yap_LookupAtom("default"); AtomDevNull = Yap_LookupAtom("/dev/null"); diff --git a/misc/ATOMS b/misc/ATOMS index 59f0b8e34..568b24263 100644 --- a/misc/ATOMS +++ b/misc/ATOMS @@ -72,7 +72,7 @@ A DBReference N "db_reference" A DBTerm N "db_term" A DBref F "$dbref" A DInteger F "$integer" -A DOUBLE A "Double" +A DOUBLE F "Double" A Dec10 N "dec10" A Default N "default" A DevNull N "/dev/null" diff --git a/packages/jpl b/packages/jpl index 9f80255cc..d9614e99d 160000 --- a/packages/jpl +++ b/packages/jpl @@ -1 +1 @@ -Subproject commit 9f80255cce18ee268792631aa1180e19a496346f +Subproject commit d9614e99dc98f8546fdc213c9e45003cf6efd520