use default machine policies in term expansions

2020-04-19 19:54:23 -06:00
parent 9ba37a932b
commit ba5a4c3945
1 changed files with 1 additions and 1 deletions
--- 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(),