From 52fdf73178ed6042758ed781009b932eb8eb2ee7 Mon Sep 17 00:00:00 2001
From: George Karpenkov <george@metaworld.me>
Date: Wed, 6 Jan 2016 11:15:11 +0100
Subject: [PATCH] IDisposable is effectively an abstract class.

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

diff --git a/src/api/java/IDisposable.java b/src/api/java/IDisposable.java
index c3855c428..dae8a7262 100644
--- a/src/api/java/IDisposable.java
+++ b/src/api/java/IDisposable.java
@@ -19,9 +19,7 @@ Notes:
 
 package com.microsoft.z3;
 
-public class IDisposable
+public abstract class IDisposable
 {
-    public void dispose()
-    {
-    }
+    public abstract void dispose();
 }