From: Mark Thom Date: Tue, 16 Oct 2018 04:13:58 +0000 (-0600) Subject: correctly handle anonymous variables when reading X-Git-Tag: v0.8.110~330 X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3140c65f67858a317a824a1d6b92c14426dcbffd;p=scryer-prolog.git correctly handle anonymous variables when reading --- diff --git a/src/prolog/read.rs b/src/prolog/read.rs index 2a40aa94..de6835d2 100644 --- a/src/prolog/read.rs +++ b/src/prolog/read.rs @@ -131,8 +131,6 @@ pub(crate) fn write_term_to_heap(term: &Term, machine_st: &mut MachineState) -> continue; }, &TermRef::Var(_, _, ref var) => { - let v = var.as_str(); - if let Some((arity, site_h)) = queue.pop_front() { if let Some(addr) = var_dict.get(var).cloned() { machine_st.heap[site_h] = HeapCellValue::Addr(addr);