From d1cf59ffa620dcd3780ad4c0200f4d3ab12c12b9 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 11 Mar 2024 09:42:24 +0100
Subject: Update the generation of names

---
 compiler/LlbcAstUtils.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/LlbcAstUtils.ml')

diff --git a/compiler/LlbcAstUtils.ml b/compiler/LlbcAstUtils.ml
index d3fac032..1053c9ab 100644
--- a/compiler/LlbcAstUtils.ml
+++ b/compiler/LlbcAstUtils.ml
@@ -44,7 +44,7 @@ let crate_get_opaque_non_builtin_decls (k : crate) (filter_assumed : bool) :
     d.body = None
     (* Something to pay attention to: we must ignore trait method *declarations*
        (which don't have a body but must not be considered as opaque) *)
-    && (match d.kind with TraitMethodDecl _ -> false | _ -> true)
+    && (match d.kind with TraitItemDecl _ -> false | _ -> true)
     && ((not filter_assumed)
        || (not (NameMatcherMap.mem ctx d.name builtin_globals_map))
           && not (NameMatcherMap.mem ctx d.name (builtin_funs_map ())))
-- 
cgit v1.2.3