use default machine policies in term expansions

diff --git a/src/prolog/machine/term_expansion.rs b/src/prolog/machine/term_expansion.rs
index 41331114f738bc60b41e49c0b2c3ea8f8f6bc486..d86904834489f007e020b6742d0f0b0d284cff8b 100644 (file)
--- 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(),