1 files changed, 0 insertions, 13 deletions
diff --git a/src/bindings/compat/java/src/cvc3/DebugException.java b/src/bindings/compat/java/src/cvc3/DebugException.java
deleted file mode 100644
index bc711a030..000000000
--- a/src/bindings/compat/java/src/cvc3/DebugException.java
+++ /dev/null
@@ -1,13 +0,0 @@
-package cvc3;
-
-import java.util.*;
-
-/** mirrors CVC3::DebugException */
-public class DebugException extends Cvc3Exception {
-
-    private final static long serialVersionUID = 1L;
-
-    public DebugException(String message) {
-	super(message);
-    }
-}