remove lifetime on ReverseHeapVarDict

diff --git a/src/prolog/heap_print.rs b/src/prolog/heap_print.rs
index c854b17618af8cc569b4ec371cf85ad58381f72e..ede4a537d626cdcc66a953e09a829fe89959ae98 100644 (file)
--- a/src/prolog/heap_print.rs
+++ b/src/prolog/heap_print.rs
@@ -119,13 +119,13 @@ impl MachineState {
     }
 }
 
-type ReverseHeapVarDict<'a> = HashMap<Addr, Rc<Var>>;
+type ReverseHeapVarDict = HashMap<Addr, Rc<Var>>;
 
 pub struct HCPrinter<'a, Outputter> {
     outputter:    Outputter,
     machine_st:   &'a MachineState,
     state_stack:  Vec<TokenOrRedirect>,
-    heap_locs:    ReverseHeapVarDict<'a>,
+    heap_locs:    ReverseHeapVarDict,
     printed_vars: HashSet<Addr>,
     pub(crate) numbervars:   bool,
     pub(crate) quoted:       bool,
@@ -168,7 +168,7 @@ fn continues_with_append(atom: &str, op: &str) -> bool {
 }
 
 fn reverse_heap_locs<'a>(machine_st: &'a MachineState, heap_locs: &'a HeapVarDict)
-                         -> ReverseHeapVarDict<'a>
+                         -> ReverseHeapVarDict
 {
     heap_locs.iter().map(|(var, var_addr)| {
         (machine_st.store(machine_st.deref(var_addr.clone())), var.clone())