From 8e7278f02c15cc6f2cef6f3585c5fd206b62f62f Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Fri, 2 Jan 2015 18:10:47 +0000
Subject: [PATCH] Java API: Removed unnecessary imports

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/java/InterpolationContext.java | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/api/java/InterpolationContext.java b/src/api/java/InterpolationContext.java
index 3e9996b3e..05d99b305 100644
--- a/src/api/java/InterpolationContext.java
+++ b/src/api/java/InterpolationContext.java
@@ -20,8 +20,6 @@ package com.microsoft.z3;
 import java.util.Map;
 import java.lang.String;
 
-import com.microsoft.z3.Native.IntPtr;
-import com.microsoft.z3.Native.UIntArrayPtr;
 import com.microsoft.z3.enumerations.Z3_lbool;
 
 /** <summary>