From 2097983db301831c539c499ed806a7437dbc5029 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 4 Oct 2018 14:05:38 -0700
Subject: [PATCH] fix java bindings

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/Optimize.java | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/api/java/Optimize.java b/src/api/java/Optimize.java
index a91e2a573..ae50d7f33 100644
--- a/src/api/java/Optimize.java
+++ b/src/api/java/Optimize.java
@@ -168,7 +168,7 @@ public class Optimize extends Z3Object {
           r = Z3_lbool.fromInt(
               Native.optimizeCheck(
                   getContext().nCtx(), 
-                  getNativeObject(), 0, null);
+                  getNativeObject(), 0, null));
         }
         else {
           r = Z3_lbool.fromInt(