From 2ba1709da30ba6d85d82fa9a599e4f5a58aa3d2d Mon Sep 17 00:00:00 2001
From: Ricks <128974318+Ricks0ne@users.noreply.github.com>
Date: Mon, 19 May 2025 02:06:21 +0100
Subject: [PATCH] fixed a typo

Changed verifification to verification.
---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 39b6978234..f05ffd9219 100644
--- a/README.md
+++ b/README.md
@@ -385,7 +385,7 @@ cmake --build --preset default --target run_ecc_bench
 
 ### Debugging
 
-#### Debugging Verifification Failures
+#### Debugging Verification Failures
 
 The CircuitChecker::check_circuit function is used to get the gate index and block information about a failing circuit constraint.
 If you are in a scenario where you have a failing call to check_circuit and wish to get more information out of it than just the gate index, you can use this feature to get a stack trace, see example below.