doc: fix typos

chrjabs · Jul 4, 2024 · 1f2aff9 · 1f2aff9
1 parent 957bd9e
commit 1f2aff9
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/src/encodings/am1.rs b/src/encodings/am1.rs
@@ -3,7 +3,7 @@
 //! The module contains implementations of CNF encodings for at-most-1
 //! constraints.
 //!
-//! ## Example Useage
+//! ## Example Usage
 //!
 //! ```
 //! # use rustsat::{

diff --git a/src/encodings/card.rs b/src/encodings/card.rs
@@ -4,7 +4,7 @@
 //! constraints. It defines traits for (non-)incremental cardinality constraints
 //! and encodings implementing these traits.
 //!
-//! ## Example Useage
+//! ## Example Usage
 //!
 //! ```
 //! # use rustsat::{

diff --git a/src/encodings/pb.rs b/src/encodings/pb.rs
@@ -4,7 +4,7 @@
 //! constraints. It defines traits for (non-)incremental PB constraints and
 //! encodings implementing these traits.
 //!
-//! ## Example Useage
+//! ## Example Usage
 //!
 //! ```
 //! # use rustsat::{