Fix doc comemnt

This commit is contained in:
Ayaz Hafiz 2023-04-01 10:24:00 -05:00
parent 6b3a4b419e
commit 9d8d36b532
No known key found for this signature in database
GPG key ID: 0E2A37416A25EF58

View file

@ -126,7 +126,7 @@ pub fn format_problems(
lazy_static! {
/// Queries of the form
///
/// ```
/// ```text
/// ^^^{(directive),*}?
///
/// directive :=