From 25a8a48142cc715c55f11fc80cf3dad6bec1b71d Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 26 Dec 2018 20:42:54 +0000
Subject: More cleanup

Remove unused name schemes and DEF_kind
---
 src/state.ml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'src/state.ml')

diff --git a/src/state.ml b/src/state.ml
index c9a47b06..63a07c0e 100644
--- a/src/state.ml
+++ b/src/state.ml
@@ -136,10 +136,10 @@ let generate_initial_regstate defs =
       List.fold_left2 typ_subst_quant_item typ (quant_items tq) args
     in
     let add_typ_init_val vals = function
-      | TD_enum (id, _, id1 :: _, _) ->
+      | TD_enum (id, id1 :: _, _) ->
          (* Choose the first value of an enumeration type as default *)
          Bindings.add id (fun _ -> string_of_id id1) vals
-      | TD_variant (id, _, tq, (Tu_aux (Tu_ty_id (typ1, id1), _)) :: _, _) ->
+      | TD_variant (id, tq, (Tu_aux (Tu_ty_id (typ1, id1), _)) :: _, _) ->
          (* Choose the first variant of a union type as default *)
          let init_val args =
            let typ1 = typ_subst_typquant tq args typ1 in
@@ -149,7 +149,7 @@ let generate_initial_regstate defs =
       | TD_abbrev (id, tq, A_aux (A_typ typ, _)) ->
          let init_val args = lookup_init_val vals (typ_subst_typquant tq args typ) in
          Bindings.add id init_val vals
-      | TD_record (id, _, tq, fields, _) ->
+      | TD_record (id, tq, fields, _) ->
          let init_val args =
            let init_field (typ, id) =
              let typ = typ_subst_typquant tq args typ in
-- 
cgit v1.2.3