From 3e5d618b3df5c9ca7521b4a128e73a6957904d92 Mon Sep 17 00:00:00 2001
From: Alex Ozdemir <aozdemir@hmc.edu>
Date: Fri, 24 May 2024 12:38:00 -0700
Subject: [PATCH] clippy false positive

---
 src/front/datalog/parser.rs | 1 +
 1 file changed, 1 insertion(+)

diff --git a/src/front/datalog/parser.rs b/src/front/datalog/parser.rs
index eb6cf2af9..0e02ca6db 100644
--- a/src/front/datalog/parser.rs
+++ b/src/front/datalog/parser.rs
@@ -1,5 +1,6 @@
 //! Datalog parser
 #![allow(missing_docs)]
+#![allow(clippy::empty_docs)]
 #![allow(clippy::clone_on_copy)]
 
 use pest::error::Error;