From a83efa68eb809c327ac763e5229d0b730d38c945 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 9 Apr 2025 20:23:51 -0700
Subject: [PATCH] spacing

---
 src/api/java/Optimize.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/java/Optimize.java b/src/api/java/Optimize.java
index 9679a96cd..391cf943c 100644
--- a/src/api/java/Optimize.java
+++ b/src/api/java/Optimize.java
@@ -58,7 +58,7 @@ public class Optimize extends Z3Object {
     /**
      * Assert a constraint (or multiple) into the optimize solver.
      **/
-    public void Assert(Expr<BoolSort> ... constraints)
+    public void Assert(Expr<BoolSort>... constraints)
     {
         getContext().checkContextMatch(constraints);
         for (Expr<BoolSort> a : constraints)
@@ -70,7 +70,7 @@ public class Optimize extends Z3Object {
     /**
      * Alias for Assert.
      **/
-    public void Add(Expr<BoolSort> ... constraints)
+    public void Add(Expr<BoolSort>... constraints)
     {
         Assert(constraints);
     }