From 617941a779baab199aa69bf2e8578a1ee7877289 Mon Sep 17 00:00:00 2001
From: Nadrieril
Date: Wed, 26 Jun 2024 13:53:45 +0200
Subject: Remove redundant `llbc_name` field

It's redundant with `item_meta.name`
---
 compiler/Pure.ml | 6 ------
 1 file changed, 6 deletions(-)

(limited to 'compiler/Pure.ml')

diff --git a/compiler/Pure.ml b/compiler/Pure.ml
index d273546a..2754eaac 100644
--- a/compiler/Pure.ml
+++ b/compiler/Pure.ml
@@ -397,8 +397,6 @@ type predicates = { trait_type_constraints : trait_type_constraint list }
 
 type type_decl = {
   def_id : TypeDeclId.id;
-  llbc_name : llbc_name;
-      (** The original name coming from the LLBC declaration *)
   name : string;
       (** We use the name only for printing purposes (for debugging):
           the name used at extraction time will be derived from the
@@ -1106,7 +1104,6 @@ type fun_decl = {
        *)
   loop_id : LoopId.id option;
       (** [Some] if this definition was generated for a loop *)
-  llbc_name : llbc_name;  (** The original LLBC name. *)
   name : string;
       (** We use the name only for printing purposes (for debugging):
           the name used at extraction time will be derived from the
@@ -1122,7 +1119,6 @@ type global_decl = {
   def_id : GlobalDeclId.id;
   span : span;
   item_meta : T.item_meta;
-  llbc_name : llbc_name;  (** The original LLBC name. *)
   name : string;
       (** We use the name only for printing purposes (for debugging):
           the name used at extraction time will be derived from the
@@ -1140,7 +1136,6 @@ type global_decl = {
 
 type trait_decl = {
   def_id : trait_decl_id;
-  llbc_name : llbc_name;
   name : string;
   item_meta : T.item_meta;
   generics : generic_params;
@@ -1162,7 +1157,6 @@ type trait_decl = {
 
 type trait_impl = {
   def_id : trait_impl_id;
-  llbc_name : llbc_name;
   name : string;
   item_meta : T.item_meta;
   impl_trait : trait_decl_ref;
-- 
cgit v1.2.3