Adapt to coq/coq#18038 (rewrite rules)

coq-community · Feb 5, 2024 · e688780 · e688780
1 parent 8452ebd
commit e688780
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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 =