Commit ddae2cc4 authored by Jeff Smits's avatar Jeff Smits

Removed useless dead code

parent f1db868f
......@@ -499,18 +499,6 @@ impl BuildTerm {
fn build_vec<'d, 'f : 'd>(context: &MutContext<'d, 'f>, vec: &[BuildTerm]) -> Result<Vec<ATermRef<'f>>> {
vec.into_iter().map(|t| t.build(context)).collect()
}
#[allow(dead_code)]
pub fn build_static<'f>(&self, f: &'f ATermFactory) -> Result<ATermRef<'f>> {
let dummy_context = MutContext::new(f, Vec::new(), Vec::new());
self.build(&dummy_context).map_err(|e| match e {
Error::UndefinedVariable(_) => Error::CTreeParse(
"Found variable in static build position",
),
Error::UnknownBehaviour(s) => Error::CTreeParse(s),
_ => e,
})
}
}
#[derive(Debug, PartialEq, Eq, Hash, Clone)]
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment