Remove unused counter from merge module
@@ -57,11 +57,8 @@ use crate::position::RawSpan;
use crate::term::{BinaryOp, RichTerm, Term};
use crate::transformations::Closurizable;
use crate::types::{AbsType, Types};
-use simple_counter::*;
use std::collections::HashMap;
-generate_counter!(FreshVariableCounter, usize);
-
/// Compute the merge of two evaluated operands.
pub fn merge(
t1: RichTerm,
