From 804858d736ef358a7615b3c277abab1fe4018a58 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Thu, 4 Feb 2021 21:02:34 -0700
Subject: [PATCH] remove defunct reset function (#782)

---
 src/machine/mod.rs | 7 -------
 1 file changed, 7 deletions(-)

diff --git a/src/machine/mod.rs b/src/machine/mod.rs
index 9c6acbb3..56d8a704 100644
--- 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) {
-- 
2.54.0