Merge pull request #129 from Yann-Leray/rewrite-rules

coq-community · Feb 21, 2024 · 03be5d0 · 03be5d0
2 parents 8452ebd + e688780
commit 03be5d0
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 =