1 files changed, 16 insertions, 0 deletions
diff --git a/src/bindings/compat/java/src/cvc3/ExprManagerMut.java b/src/bindings/compat/java/src/cvc3/ExprManagerMut.java
new file mode 100644
index 000000000..92b53ba59
--- /dev/null
+++ b/src/bindings/compat/java/src/cvc3/ExprManagerMut.java
@@ -0,0 +1,16 @@
+package cvc3;
+
+import java.util.*;
+
+public class ExprManagerMut extends ExprManager {
+    // jni methods
+
+    /// Constructor
+
+    public ExprManagerMut(Object ExprManagerMut, EmbeddedManager embeddedManager) {
+	super(ExprManagerMut, embeddedManager);
+    }
+
+
+    /// API (mutable)
+}