mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 10:25:18 +00:00
enable binary string access to unsigned numerals over API #4568
Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
parent
4b346ef693
commit
4e77984c57
|
@ -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());
|
||||
|
|
Loading…
Reference in a new issue