From bb05afcd7029f6151679850be98b2c690b6f45a6 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Sun, 5 Oct 2025 13:40:22 -0700
Subject: [PATCH] comment

---
 src/nlsat/levelwise.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/nlsat/levelwise.cpp b/src/nlsat/levelwise.cpp
index 089e43abc..32770e4ca 100644
--- a/src/nlsat/levelwise.cpp
+++ b/src/nlsat/levelwise.cpp
@@ -43,7 +43,7 @@ namespace nlsat {
             fn(factors[0]);            
         }
 
-        // todo: consider to keey polynomials in a set by using m_pm.eq
+        // todo: consider to key polynomials in a set by using m_pm.eq
         struct property {
             prop_enum prop_tag;
             polynomial_ref   poly;