use default machine policies in term expansions
@@ -368,7 +368,7 @@ fn try_expand_term(
self.query_stepper(
&mut wam.indices,
- &mut wam.policies,
+ &mut MachinePolicies::default(),
&mut wam.code_repo,
&mut readline::input_stream(),
&mut Stream::stdout(),
