diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index 8d9e563f8..a1b653a89 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -2761,6 +2761,7 @@ namespace nlsat {
         }       
 
         //
+        // Remove unconstrained assertions.
         //
         bool elim_uncnstr() {
             // compute variable occurrences