Skip to content

Commit

Permalink
Fix doc comment typo.
Browse files Browse the repository at this point in the history
  • Loading branch information
waywardmonkeys committed Nov 18, 2023
1 parent 26ddf7f commit 91d9e91
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion z3/src/ast.rs
Original file line number Diff line number Diff line change
Expand Up @@ -1777,7 +1777,7 @@ impl<'ctx> Regexp<'ctx> {
}
}

/// Creates a regular expression that recognizes a character in the specificed range (e.g.
/// Creates a regular expression that recognizes a character in the specified range (e.g.
/// `[a-z]`)
pub fn range(ctx: &'ctx Context, lo: &char, hi: &char) -> Self {
unsafe {
Expand Down

0 comments on commit 91d9e91

Please sign in to comment.