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;