From fad017fcb465d32bb7739af1ff83c0271601e5e2 Mon Sep 17 00:00:00 2001 From: vsc Date: Mon, 10 Sep 2007 22:04:10 +0000 Subject: [PATCH] fix core dump in tabling git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@1922 b08c6af1-5177-4d33-ba66-4b1c6b8b522a --- C/exec.c | 2 +- changes-5.1.html | 1 + 2 files changed, 2 insertions(+), 1 deletion(-) diff --git a/C/exec.c b/C/exec.c index acbfc7c33..c58510631 100644 --- a/C/exec.c +++ b/C/exec.c @@ -1462,7 +1462,7 @@ init_stack(int arity, CELL *pt, int top, choiceptr saved_b) B = (choiceptr)ASP; B--; #ifdef TABLING - if (top) { + if (top && GLOBAL_root_dep_fr) { DepFr_cons_cp(GLOBAL_root_dep_fr) = B; } #endif /* TABLING */ diff --git a/changes-5.1.html b/changes-5.1.html index 26a332263..61dfc85ef 100644 --- a/changes-5.1.html +++ b/changes-5.1.html @@ -16,6 +16,7 @@

Yap-5.1.3: