From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 2 Dec 2019 04:46:04 +0000 (-0700)
Subject: correct misprinting of attributed variables done by printer
X-Git-Tag: v0.8.118~36^2~7
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=943e5eeb35dda39be3163885bc2e01b2b70e0c7c;p=scryer-prolog.git

correct misprinting of attributed variables done by printer
---

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index 9011827a..8db9ff43 100644
--- a/src/prolog/heap_print.rs
+++ b/src/prolog/heap_print.rs
@@ -614,7 +614,7 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {
         }
 
         match addr {
-            Addr::AttrVar(h) => Some(format!("_{}", h + 1)),
+            Addr::AttrVar(h) => Some(format!("_{}", h)),
             Addr::HeapCell(h) | Addr::Lis(h) | Addr::Str(h) => Some(format!("_{}", h)),
             Addr::StackCell(fr, sc) => Some(format!("_s_{}_{}", fr, sc)),
             _ => None,