trigger the build with a comment change

Signed-off-by: Lev Nachmanson <[email protected]>
Z3Prover · Jul 8, 2024 · 18b6087 · 18b6087
1 parent 1da1320
commit 18b6087
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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.