From: Mark Thom <markjordanthom@gmail.com>
Date: Wed, 8 Aug 2018 06:47:48 +0000 (-0600)
Subject: set CWILCallPolicy count field back to private
X-Git-Tag: v0.8.110~434
X-Git-Url: https://git.sagredo.dev/?a=commitdiff_plain;h=3fef717677af8df52be70cbfe1f207ca091a90c9;p=scryer-prolog.git

set CWILCallPolicy count field back to private
---

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<CallPolicy>,
-    pub(crate) count:  BigUint,
+    count:  BigUint,
     limits: Vec<(BigUint, usize)>,
     inference_limit_exceeded: bool
 }