From 18b6087b72d934bef29f06f3649411debeeb1ed1 Mon Sep 17 00:00:00 2001
From: Lev Nachmanson <levnach@hotmail.com>
Date: Mon, 8 Jul 2024 11:43:24 -0700
Subject: [PATCH] trigger the build with a comment change

Signed-off-by: Lev Nachmanson <levnach@hotmail.com>
---
 src/nlsat/nlsat_solver.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/nlsat/nlsat_solver.cpp b/src/nlsat/nlsat_solver.cpp
index 26c2f617b..bb169a05e 100644
--- a/src/nlsat/nlsat_solver.cpp
+++ b/src/nlsat/nlsat_solver.cpp
@@ -7,7 +7,7 @@ Module Name:
 
 Abstract:
 
-    Nonlinear arithmetic satisfiability procedure.  The procedure is
+    Nonlinear arithmetic satisfiability procedure. The procedure is
     complete for nonlinear real arithmetic, but it also has limited
     support for integers.