eliminate inner_numbervar_count
This commit is contained in:
@@ -312,7 +312,6 @@ pub struct HCPrinter<'a, Outputter> {
|
|||||||
heap_locs: ReverseHeapVarDict,
|
heap_locs: ReverseHeapVarDict,
|
||||||
printed_vars: IndexSet<Addr>,
|
printed_vars: IndexSet<Addr>,
|
||||||
last_item_idx: usize,
|
last_item_idx: usize,
|
||||||
inner_numbervar_count: usize,
|
|
||||||
cyclic_terms: IndexMap<Addr, usize>,
|
cyclic_terms: IndexMap<Addr, usize>,
|
||||||
pub(crate) var_names: IndexMap<Addr, Var>,
|
pub(crate) var_names: IndexMap<Addr, Var>,
|
||||||
pub(crate) numbervars_offset: Integer,
|
pub(crate) numbervars_offset: Integer,
|
||||||
@@ -441,7 +440,6 @@ impl<'a, Outputter: HCValueOutputter> HCPrinter<'a, Outputter> {
|
|||||||
last_item_idx: 0,
|
last_item_idx: 0,
|
||||||
numbervars: false,
|
numbervars: false,
|
||||||
numbervars_offset: Integer::from(0),
|
numbervars_offset: Integer::from(0),
|
||||||
inner_numbervar_count: 0,
|
|
||||||
quoted: false,
|
quoted: false,
|
||||||
ignore_ops: false,
|
ignore_ops: false,
|
||||||
cyclic_terms: IndexMap::new(),
|
cyclic_terms: IndexMap::new(),
|
||||||
|
|||||||
Reference in New Issue
Block a user