From f14a2b9a7c63cfe59d8ad00eafd2ac574871b864 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Sat, 6 Oct 2018 16:13:23 -0700
Subject: [PATCH] fix java

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

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index fda1a78f3..08d20dfb2 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -1982,7 +1982,7 @@ public class Context implements AutoCloseable {
      */
     public SeqExpr intToString(Expr e) 
     {
-	return (SeqExpr) Expr.create(this, Native.Z3_mkIntToStr(nCtx(), e.getNativeObject()));
+	return (SeqExpr) Expr.create(this, Native.mkIntToStr(nCtx(), e.getNativeObject()));
     }
 
     /**