From e6887808028ce1e6ba48e5b19e26588f56a60c48 Mon Sep 17 00:00:00 2001
From: Yann Leray <yann.leray@inria.fr>
Date: Mon, 5 Feb 2024 12:21:57 +0100
Subject: [PATCH] Adapt to coq/coq#18038 (rewrite rules)

---
 graphdepend.mlg | 1 +
 1 file changed, 1 insertion(+)

diff --git a/graphdepend.mlg b/graphdepend.mlg
index 2c5e38ec4..0b4a1e8dc 100644
--- a/graphdepend.mlg
+++ b/graphdepend.mlg
@@ -192,6 +192,7 @@ end = struct
       | Declarations.Def _ -> ("body", "yes")::acc
       | Declarations.Undef _  -> ("body", "no")::acc
       | Declarations.Primitive _ -> ("body", "no")::acc
+      | Declarations.Symbol _ -> ("body", "no")::acc
     in acc
 
   let add_gref_attrib acc gref id =