From f561a743c20302759d6419173956880e2e92b1f8 Mon Sep 17 00:00:00 2001
From: Siddharth Priya <priya.siddharth@gmail.com>
Date: Thu, 30 May 2024 10:53:16 -0400
Subject: [PATCH] fix:typo in readme

---
 README.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/README.md b/README.md
index dadbba8a..fe1463eb 100644
--- a/README.md
+++ b/README.md
@@ -15,7 +15,7 @@ seahorn for LLVM-11: https://github.com/seahorn/seahorn/tree/dev11
 
 # Results
 Detailed analysis of run-times is available in an accompanying [Jupyter
-Notebook][data] in Google Collab. Coverage reports from fuzzing are available
+Notebook][data] in Google Colab. Coverage reports from fuzzing are available
 [here][fuzz].
 
 [data]: https://colab.research.google.com/github/seahorn/verify-c-common/blob/master/experiment_results.ipynb