eliminate inner_numbervar_count
@@ -312,7 +312,6 @@ pub struct HCPrinter<'a, Outputter> {
heap_locs: ReverseHeapVarDict,
printed_vars: IndexSet<Addr>,
last_item_idx: usize,
- inner_numbervar_count: usize,
cyclic_terms: IndexMap<Addr, usize>,
pub(crate) var_names: IndexMap<Addr, Var>,
pub(crate) numbervars_offset: Integer,
@@ -441,7 +440,6 @@ pub fn new(machine_st: &'a MachineState, op_dir: &'a OpDir, output: Outputter) -
last_item_idx: 0,
numbervars: false,
numbervars_offset: Integer::from(0),
- inner_numbervar_count: 0,
quoted: false,
ignore_ops: false,
cyclic_terms: IndexMap::new(),
