From 289d0da0796dd8716ad4cf5265f6c581291b1898 Mon Sep 17 00:00:00 2001
From: vsc <vsc@b08c6af1-5177-4d33-ba66-4b1c6b8b522a>
Date: Wed, 16 Jan 2002 22:08:03 +0000
Subject: [PATCH] fix point where we assume unbound array

git-svn-id: https://yap.svn.sf.net/svnroot/yap/trunk@303 b08c6af1-5177-4d33-ba66-4b1c6b8b522a
---
 C/arrays.c      | 2 +-
 changes4.3.html | 2 ++
 2 files changed, 3 insertions(+), 1 deletion(-)

diff --git a/C/arrays.c b/C/arrays.c
index 6c670cfab..07079a642 100644
--- a/C/arrays.c
+++ b/C/arrays.c
@@ -668,7 +668,7 @@ p_create_array(void)
       ArrayEntry *app = (ArrayEntry *) pp;
 
       WRITE_UNLOCK(ae->ARWLock);
-      if (!IsUnboundVar(app->ValueOfVE))
+      if (!IsVarTerm(app->ValueOfVE) || !IsUnboundVar(app->ValueOfVE))
 	Error(PERMISSION_ERROR_CREATE_ARRAY,t,"create_array",
 	      ae->StrOfAE);
       else {
diff --git a/changes4.3.html b/changes4.3.html
index a54a9d018..589191070 100644
--- a/changes4.3.html
+++ b/changes4.3.html
@@ -16,6 +16,8 @@
 
 <h2>Yap-4.3.21:</h2>
 <ul>
+	<li>FIXED: abolish could backtrack and give weird error (Nicos
+	Angelopoulos).</li>
 	<li>FIXED: make consult, use_module and friends meta-predicates
 	(Nicos Angelopoulos).</li>
 	<li>FIXED: make use_module a directive.</li>