From 5a3e3f0fabf7d588c5adf1f791b26a590eac547f Mon Sep 17 00:00:00 2001
From: Ahmed <43099566+ahmed-irfan@users.noreply.github.com>
Date: Wed, 12 Jul 2023 18:06:48 -0700
Subject: [PATCH] Update NOTES -- fix typo

---
 doc/NOTES | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/doc/NOTES b/doc/NOTES
index 9935b46f2..d572d5647 100644
--- a/doc/NOTES
+++ b/doc/NOTES
@@ -34,7 +34,7 @@ The source code is organized as follows:
 
   src/solvers:        CDCL-based SAT solvers + theory solvers
 
-  src/mcsat:	      MCSAT baded solvers and plugins
+  src/mcsat:	      MCSAT-based solvers and plugins
 
   src/context:        Support for creating and manipulating contexts and for simplification
                       and preprocessing of assertions.