From 318ee3a86d4456bd996c39f2adb9b2e2c16f6330 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 28 Jul 2015 22:31:41 -0300
Subject: [PATCH] fix issue #176

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/Context.java | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index 218b201ca..0955f79ca 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2796,6 +2796,14 @@ public class Context extends IDisposable
         return new Fixedpoint(this);
     }
 
+    /**
+     * Create a Optimize context.
+     **/
+    public Optimize mkOptimize()
+    {
+        return new Optimize(this);
+    }
+
     
     /**
      * Create the floating-point RoundingMode sort.