From: Mark Thom <markjordanthom@gmail.com>
Date: Mon, 20 Apr 2020 01:54:23 +0000 (-0600)
Subject: use default machine policies in term expansions
X-Git-Tag: v0.8.123~121
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=ba5a4c3945df88cf0d29f2ddf5f4772cefbe4388;p=scryer-prolog.git

use default machine policies in term expansions
---

diff --git a/src/prolog/machine/term_expansion.rs b/src/prolog/machine/term_expansion.rs
index 41331114..d8690483 100644
--- a/src/prolog/machine/term_expansion.rs
+++ b/src/prolog/machine/term_expansion.rs
@@ -368,7 +368,7 @@ impl MachineState {
 
         self.query_stepper(
             &mut wam.indices,
-            &mut wam.policies,
+            &mut MachinePolicies::default(),
             &mut wam.code_repo,
             &mut readline::input_stream(),
             &mut Stream::stdout(),