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.