remove defunct reset function (#782)

diff --git a/src/machine/mod.rs b/src/machine/mod.rs
index 9c6acbb31e6a4e5a3060e28e9dacb6c60bd450a8..56d8a70418add1c4ab7bf85aea9a3fb1271cc18f 100644 (file)
--- a/src/machine/mod.rs
+++ b/src/machine/mod.rs
@@ -146,13 +146,6 @@ impl Machine {
     }
     */
 
-    #[cfg(test)]
-    pub fn reset(&mut self) {
-        self.current_input_stream = readline::input_stream();
-        self.policies.cut_policy = Box::new(DefaultCutPolicy {});
-        self.machine_st.reset();
-    }
-
     fn run_module_predicate(&mut self, module_name: ClauseName, key: PredicateKey) {
         if let Some(module) = self.indices.modules.get(&module_name) {
             if let Some(ref code_index) = module.code_dir.get(&key) {