From d70710ededf1d02edf7efff512af4ddbdb10ded4 Mon Sep 17 00:00:00 2001
From: TAdev0 <angles.tristan@protonmail.com>
Date: Sun, 12 Jan 2025 13:48:39 +0100
Subject: [PATCH] fmt

---
 corelib/src/circuit.cairo | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/corelib/src/circuit.cairo b/corelib/src/circuit.cairo
index a9d236f2427..624ddae4243 100644
--- a/corelib/src/circuit.cairo
+++ b/corelib/src/circuit.cairo
@@ -489,7 +489,7 @@ impl GetCircuitDescriptorImpl<CES> of GetCircuitDescriptor<CES> {
 /// This trait provides methods to add input values to a circuit instance and
 /// finalize the input process.
 ///
-/// # Example
+/// # Examples
 ///
 /// ```
 /// let a = CircuitElement::<CircuitInput<0>> {};
@@ -579,7 +579,7 @@ impl U384IntoCircuitInputValue of IntoCircuitInputValue<u384> {
 /// This trait provides methods to evaluate a circuit with given inputs and modulus.
 /// The evaluation can be done with or without an explicit circuit descriptor.
 ///
-/// # Example
+/// # Examples
 ///
 /// ```
 /// let a = CircuitElement::<CircuitInput<0>> {};
@@ -635,7 +635,7 @@ pub impl EvalCircuitImpl<C> of EvalCircuitTrait<C> {
 /// This trait provides methods to access the output values of a circuit after
 /// successful evaluation.
 ///
-/// # Example
+/// # Examples
 ///
 /// ```
 /// let a = CircuitElement::<CircuitInput<0>> {};