From 4e77984c578591b969f53e89e2f1a3324e19f903 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Tue, 7 Jul 2020 18:59:20 -0700
Subject: [PATCH] enable binary string access to unsigned numerals over API
 #4568

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/api/java/BitVecNum.java | 1 -
 1 file changed, 1 deletion(-)

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());