From b455f057a8c3a19097736a185c0de0614d12bac4 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Thu, 4 Jun 2009 10:18:28 -0500
Subject: [PATCH] fix writing of atributed variables.

---
 C/write.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/C/write.c b/C/write.c
index 5d3b44c06..15f527c97 100644
--- a/C/write.c
+++ b/C/write.c
@@ -413,7 +413,7 @@ write_var(CELL *t,  struct write_globs *wglb, struct rewind_term *rwt)
   /* make sure we don't get no creepy spaces where they shouldn't be */
   lastw = separator;
   if (CellPtr(t) < H0) {
-    Int vcount = (H0-t)/(sizeof(attvar_record)/sizeof(CELL));
+    Int vcount = (H0-t);
 #if COROUTINING
 #if DEBUG
     if (Yap_Portray_delays) {