From 7ef673ca3015fd9bb38b64490de8491cb1a03934 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Tue, 22 Dec 2020 14:59:30 -0500 Subject: [PATCH] refactor mini-cc --- src/mini-cc/Sidekick_mini_cc.ml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) diff --git a/src/mini-cc/Sidekick_mini_cc.ml b/src/mini-cc/Sidekick_mini_cc.ml index 557beda7..33f64853 100644 --- a/src/mini-cc/Sidekick_mini_cc.ml +++ b/src/mini-cc/Sidekick_mini_cc.ml @@ -147,13 +147,14 @@ module Make(A: ARG) = struct self let clear (self:t) : unit = + let {ok=_; tbl; sig_tbl; pending=_; combine=_; true_; false_} = self in self.ok <- true; - T_tbl.clear self.tbl; - Sig_tbl.clear self.sig_tbl; self.pending <- []; self.combine <- []; - T_tbl.add self.tbl self.true_.n_t self.true_; - T_tbl.add self.tbl self.false_.n_t self.false_; + T_tbl.clear tbl; + Sig_tbl.clear sig_tbl; + T_tbl.add tbl true_.n_t true_; + T_tbl.add tbl false_.n_t false_; () let sub_ t k : unit = @@ -317,5 +318,4 @@ module Make(A: ARG) = struct |> Iter.filter Node.is_root |> Iter.map (fun n -> Node.iter_cls n |> Iter.map Node.term) - end