diff --git a/src/prolog/machine/machine_state.rs b/src/prolog/machine/machine_state.rs index 1af1610f..28b04a9b 100644 --- a/src/prolog/machine/machine_state.rs +++ b/src/prolog/machine/machine_state.rs @@ -744,7 +744,7 @@ impl CallPolicy for DefaultCallPolicy {} pub(crate) struct CWILCallPolicy { pub(crate) prev_policy: Box, - pub(crate) count: BigUint, + count: BigUint, limits: Vec<(BigUint, usize)>, inference_limit_exceeded: bool }