Skip to content

Commit 3e5d618

Browse files
committed
clippy false positive
1 parent 07db836 commit 3e5d618

File tree

1 file changed

+1
-0
lines changed

1 file changed

+1
-0
lines changed

src/front/datalog/parser.rs

+1
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,6 @@
11
//! Datalog parser
22
#![allow(missing_docs)]
3+
#![allow(clippy::empty_docs)]
34
#![allow(clippy::clone_on_copy)]
45

56
use pest::error::Error;

0 commit comments

Comments
 (0)