From: Mark Thom <markjordanthom@gmail.com>
Date: Fri, 5 Feb 2021 04:02:34 +0000 (-0700)
Subject: remove defunct reset function (#782)
X-Git-Tag: v0.9.0~150^2~65^2~18
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=804858d736ef358a7615b3c277abab1fe4018a58;p=scryer-prolog.git

remove defunct reset function (#782)
---

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) {