remove dead code

diff --git a/src/prolog/codegen.rs b/src/prolog/codegen.rs
index 00d07d4b7a7238d46206af1c0453f93c5095204d..635b829d5a729e63eff490487412f89a530753e2 100644 (file)
--- a/src/prolog/codegen.rs
+++ b/src/prolog/codegen.rs
@@ -22,27 +22,17 @@ pub enum EvalSession<'a> {
     SubsequentQuerySuccess,
 }
 
-impl<'a> EvalSession<'a> {
-    #[allow(dead_code)]
-    pub fn failed_query(&self) -> bool {
-        if let &EvalSession::QueryFailure = self {
-            true
-        } else {
-            false
-        }
-    }
-}
-
-impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker> {
+impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker>
+{
     pub fn new() -> Self {
-        CodeGenerator { marker: Allocator::new(),
+        CodeGenerator { marker:  Allocator::new(),
                         var_count: HashMap::new() }
     }
 
     pub fn take_vars(self) -> AllocVarDict<'a> {
         self.marker.take_bindings()
     }
-    
+
     fn update_var_count<Iter>(&mut self, iter: Iter)
         where Iter : Iterator<Item=TermRef<'a>>
     {
@@ -258,11 +248,10 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker> {
 
         match toc {
             &TermOrCut::Term(Term::Clause(_, ref name, _))
-          | &TermOrCut::Term(Term::Constant(_, Constant::Atom(ref name))) => {
-                    if let &mut Line::Control(ref mut ctrl) = body.last_mut().unwrap() {
-                        *ctrl = ControlInstruction::Execute(name.clone(), last_arity);
-                    }
-                },
+          | &TermOrCut::Term(Term::Constant(_, Constant::Atom(ref name))) =>
+              if let &mut Line::Control(ref mut ctrl) = body.last_mut().unwrap() {
+                  *ctrl = ControlInstruction::Execute(name.clone(), last_arity);
+              },
             _ => dealloc_index = body.len()
         };
 
@@ -514,9 +503,9 @@ impl<'a, TermMarker: Allocator<'a>> CodeGenerator<'a, TermMarker> {
                 _ => {}
             };
         }
-        
-        Self::compile_cleanup(&mut code, query.len() - 1, query.last().unwrap());        
-        
+
+        Self::compile_cleanup(&mut code, query.len() - 1, query.last().unwrap());
+
         code
     }