From 1f2aff93092ebdaaaef64ff78060fb5470fb79e9 Mon Sep 17 00:00:00 2001
From: Christoph Jabs <christoph.jabs@helsinki.fi>
Date: Thu, 4 Jul 2024 16:36:40 +0300
Subject: [PATCH] doc: fix typos

---
 src/encodings/am1.rs  | 2 +-
 src/encodings/card.rs | 2 +-
 src/encodings/pb.rs   | 2 +-
 3 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/src/encodings/am1.rs b/src/encodings/am1.rs
index 6f6b1684..a60e5b37 100644
--- 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
index 73f02566..cd3a5d52 100644
--- 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
index 2015cb5b..eec4d438 100644
--- 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::{