From 3ae6f583ec57d9a08bc823ef5a986a5f4c72fa21 Mon Sep 17 00:00:00 2001 From: Vitor Santos Costa Date: Sat, 13 Jun 2009 16:05:45 -0500 Subject: [PATCH] include AtomInStackExpansion --- H/iatoms.h | 1 + H/ratoms.h | 1 + H/tatoms.h | 2 ++ misc/ATOMS | 1 + 4 files changed, 5 insertions(+) diff --git a/H/iatoms.h b/H/iatoms.h index 27584a89b..cc0ff07c7 100644 --- a/H/iatoms.h +++ b/H/iatoms.h @@ -123,6 +123,7 @@ AtomId = Yap_LookupAtom("id"); AtomInf = Yap_LookupAtom("inf"); AtomInitGoal = Yap_FullLookupAtom("$init_goal"); + AtomInStackExpansion = Yap_LookupAtom("in stack expansion"); AtomInput = Yap_LookupAtom("input"); AtomInstantiationError = Yap_LookupAtom("instantiation_error"); AtomInt = Yap_LookupAtom("int"); diff --git a/H/ratoms.h b/H/ratoms.h index 978efb05a..825de0761 100644 --- a/H/ratoms.h +++ b/H/ratoms.h @@ -125,6 +125,7 @@ AtomId = AtomAdjust(AtomId); AtomInf = AtomAdjust(AtomInf); AtomInitGoal = AtomAdjust(AtomInitGoal); + AtomInStackExpansion = AtomAdjust(AtomInStackExpansion); AtomInput = AtomAdjust(AtomInput); AtomInstantiationError = AtomAdjust(AtomInstantiationError); AtomInt = AtomAdjust(AtomInt); diff --git a/H/tatoms.h b/H/tatoms.h index 4b09e1f93..61aaca47d 100644 --- a/H/tatoms.h +++ b/H/tatoms.h @@ -252,6 +252,8 @@ #define AtomInf Yap_heap_regs->AtomInf_ Atom AtomInitGoal_; #define AtomInitGoal Yap_heap_regs->AtomInitGoal_ + Atom AtomInStackExpansion_; +#define AtomInStackExpansion Yap_heap_regs->AtomInStackExpansion_ Atom AtomInput_; #define AtomInput Yap_heap_regs->AtomInput_ Atom AtomInstantiationError_; diff --git a/misc/ATOMS b/misc/ATOMS index ea96f5558..c1b2e8bc2 100644 --- a/misc/ATOMS +++ b/misc/ATOMS @@ -134,6 +134,7 @@ A IOMode N "io_mode" A Id N "id" A Inf N "inf" A InitGoal F "$init_goal" +A InStackExpansion N "in stack expansion" A Input N "input" A InstantiationError N "instantiation_error" A Int N "int"