correct misprinting of attributed variables done by printer

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index 9011827a336f32b8165e8257bab8e2560ffa0fd4..8db9ff4308040eb2a5bb0c8bd7bd39d70fba5b97 100644 (file)
--- 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,