From bef57f9d4921e5e8021c086923628b16f5ea18ea Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 3 Feb 2022 20:13:06 +0100
Subject: Cleanup a bit

---
 src/PureToExtract.ml | 6 ++----
 1 file changed, 2 insertions(+), 4 deletions(-)

(limited to 'src/PureToExtract.ml')

diff --git a/src/PureToExtract.ml b/src/PureToExtract.ml
index 47097d7d..bd69837a 100644
--- a/src/PureToExtract.ml
+++ b/src/PureToExtract.ml
@@ -4,7 +4,6 @@
     backends we target.
  *)
 
-open Errors
 open Pure
 open TranslateCore
 module C = Contexts
@@ -386,11 +385,10 @@ let ctx_add_type_def_struct (def : type_def) (ctx : extraction_ctx) :
   let ctx = ctx_add (StructId (AdtId def.def_id)) cons_name ctx in
   (ctx, cons_name)
 
-let ctx_add_type_def (def : type_def) (ctx : extraction_ctx) :
-    extraction_ctx * string =
+let ctx_add_type_def (def : type_def) (ctx : extraction_ctx) : extraction_ctx =
   let def_name = ctx.fmt.type_name def.name in
   let ctx = ctx_add (TypeId (AdtId def.def_id)) def_name ctx in
-  (ctx, def_name)
+  ctx
 
 let ctx_add_field (def : type_def) (field_id : FieldId.id) (field : field)
     (ctx : extraction_ctx) : extraction_ctx * string =
-- 
cgit v1.2.3