From ba5a4c3945df88cf0d29f2ddf5f4772cefbe4388 Mon Sep 17 00:00:00 2001
From: Mark Thom <markjordanthom@gmail.com>
Date: Sun, 19 Apr 2020 19:54:23 -0600
Subject: [PATCH] use default machine policies in term expansions

---
 src/prolog/machine/term_expansion.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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(),
-- 
2.54.0