mirror of
https://github.com/Z3Prover/z3
synced 2025-04-07 18:05:21 +00:00
Java API: Removed unnecessary imports
Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
This commit is contained in:
parent
9dd4d7b011
commit
8e7278f02c
|
@ -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>
|
||||
|
|
Loading…
Reference in a new issue