mirror of
https://github.com/Z3Prover/z3
synced 2025-04-08 18:31:49 +00:00
Swapped significand and exponent in call to Context.mkFPNumeral.
Fixes #973.
This commit is contained in:
parent
1d4d95aea2
commit
38ca9ddfeb
|
@ -3447,7 +3447,7 @@ public class Context implements AutoCloseable {
|
|||
**/
|
||||
public FPNum mkFP(boolean sgn, int exp, int sig, FPSort s)
|
||||
{
|
||||
return mkFPNumeral(sgn, sig, exp, s);
|
||||
return mkFPNumeral(sgn, exp, sig, s);
|
||||
}
|
||||
|
||||
/**
|
||||
|
@ -3460,7 +3460,7 @@ public class Context implements AutoCloseable {
|
|||
**/
|
||||
public FPNum mkFP(boolean sgn, long exp, long sig, FPSort s)
|
||||
{
|
||||
return mkFPNumeral(sgn, sig, exp, s);
|
||||
return mkFPNumeral(sgn, exp, sig, s);
|
||||
}
|
||||
|
||||
|
||||
|
|
Loading…
Reference in a new issue