diff --git a/src/api/java/BitVecNum.java b/src/api/java/BitVecNum.java
index e387f86e0..0d3fe1544 100644
--- a/src/api/java/BitVecNum.java
+++ b/src/api/java/BitVecNum.java
@@ -72,7 +72,6 @@ public class BitVecNum extends BitVecExpr
     /**
      * Returns a binary string representation of the numeral.
      **/
-    @Override
     public String toBinaryString()
     {
         return Native.getNumeralBinaryString(getContext().nCtx(), getNativeObject());