From aa1a59639445739539003d5b7a0f0ef5502cae08 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 30 Apr 2024 17:05:40 -0700
Subject: [PATCH] add doc-string

---
 src/nlsat/nlsat_solver.cpp | 1 +
 1 file changed, 1 insertion(+)

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