From ad5aea737ecc639c31dda84322b3550a4d380b47 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Fri, 22 Jun 2018 21:06:01 +0200
Subject: Proper record type and accessors for transparent states.

This is documented in dev/doc/changes.md.
---
 kernel/conv_oracle.ml | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

(limited to 'kernel/conv_oracle.ml')

diff --git a/kernel/conv_oracle.ml b/kernel/conv_oracle.ml
index ac78064235..c66beb49b8 100644
--- a/kernel/conv_oracle.ml
+++ b/kernel/conv_oracle.ml
@@ -81,7 +81,8 @@ let fold_strategy f { var_opacity; cst_opacity; _ } accu =
   let accu = Id.Map.fold fvar var_opacity accu in
   Cmap.fold fcst cst_opacity accu
 
-let get_transp_state { var_trstate; cst_trstate; _ } = (var_trstate, cst_trstate)
+let get_transp_state { var_trstate; cst_trstate; _ } =
+  { TranspState.tr_var = var_trstate; tr_cst = cst_trstate }
 
 let dep_order l2r k1 k2 = match k1, k2 with
 | RelKey _, RelKey _ -> l2r
-- 
cgit v1.2.3


From 733cb74a2038ff92156b7209713fc2ea741ccca6 Mon Sep 17 00:00:00 2001
From: Pierre-Marie Pédrot
Date: Mon, 19 Nov 2018 08:12:28 +0100
Subject: Rename TranspState into TransparentState.

---
 kernel/conv_oracle.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'kernel/conv_oracle.ml')

diff --git a/kernel/conv_oracle.ml b/kernel/conv_oracle.ml
index c66beb49b8..fe82353b70 100644
--- a/kernel/conv_oracle.ml
+++ b/kernel/conv_oracle.ml
@@ -82,7 +82,7 @@ let fold_strategy f { var_opacity; cst_opacity; _ } accu =
   Cmap.fold fcst cst_opacity accu
 
 let get_transp_state { var_trstate; cst_trstate; _ } =
-  { TranspState.tr_var = var_trstate; tr_cst = cst_trstate }
+  { TransparentState.tr_var = var_trstate; tr_cst = cst_trstate }
 
 let dep_order l2r k1 k2 = match k1, k2 with
 | RelKey _, RelKey _ -> l2r
-- 
cgit v1.2.3