From 2a347f04bf79a6e223899cfba6690123d388b9f3 Mon Sep 17 00:00:00 2001
From: George Karpenkov <george@metaworld.me>
Date: Sun, 12 Jun 2016 21:00:51 +0200
Subject: [PATCH] Java API: FuncInterp.Entry should be an inner static class

...as it does not use any fields of the outer FuncInterp object.
---
 src/api/java/FuncInterp.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/java/FuncInterp.java b/src/api/java/FuncInterp.java
index c84979aa1..52f09c5a4 100644
--- a/src/api/java/FuncInterp.java
+++ b/src/api/java/FuncInterp.java
@@ -28,8 +28,8 @@ public class FuncInterp extends Z3Object
      * An Entry object represents an element in the finite map used to encode a
      * function interpretation.
      **/
-    public class Entry extends Z3Object
-    {
+    public static class Entry extends Z3Object {
+
         /**
          * Return the (symbolic) value of this entry.
          *