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