From 715050da0b73b83fe7dad16ff645924d724425d7 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Wed, 4 Nov 2015 13:34:50 +0000
Subject: [PATCH] Java API comments fix.

---
 src/api/java/Model.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/java/Model.java b/src/api/java/Model.java
index e9922ac58..28934a1f3 100644
--- a/src/api/java/Model.java
+++ b/src/api/java/Model.java
@@ -56,7 +56,7 @@ public class Model extends Z3Object
                         Native.getRange(getContext().nCtx(), f.getNativeObject())) == Z3_sort_kind.Z3_ARRAY_SORT
                         .toInt())
             throw new Z3Exception(
-                    "Non-zero arity functions and arrays have FunctionInterpretations as a model. Use FuncInterp.");
+                    "Non-zero arity functions and arrays have FunctionInterpretations as a model. Use getFuncInterp.");
 
         long n = Native.modelGetConstInterp(getContext().nCtx(), getNativeObject(),
                 f.getNativeObject());
@@ -101,7 +101,7 @@ public class Model extends Z3Object
             } else
             {
                 throw new Z3Exception(
-                        "Constant functions do not have a function interpretation; use ConstInterp");
+                        "Constant functions do not have a function interpretation; use getConstInterp");
             }
         } else
         {