From 65ce445b7e209728c725997e140191ab16454bf2 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Wed, 22 Oct 2014 08:24:49 -0700
Subject: [PATCH] update Java API

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

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index 6b6c63ac3..cc5c07c5e 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -2911,20 +2911,6 @@ public class Context extends IDisposable
         Native.updateParamValue(nCtx(), id, value);
     }
 
-    /**
-     * Get a configuration parameter. <remarks> Returns null if the parameter
-     * value does not exist. </remarks> <seealso cref="UpdateParamValue"/>
-     **/
-    public String getParamValue(String id) throws Z3Exception
-    {
-        Native.StringPtr res = new Native.StringPtr();
-        boolean r = Native.getParamValue(nCtx(), id, res);
-        if (!r)
-            return null;
-        else
-            return res.value;
-    }
-
     long m_ctx = 0;
 
     long nCtx()