From 38ca9ddfeb1f07bad5264d2879c440a007acfdc8 Mon Sep 17 00:00:00 2001
From: Bruce Mitchener <bruce.mitchener@gmail.com>
Date: Fri, 30 Nov 2018 08:42:01 +0700
Subject: [PATCH] Swapped significand and exponent in call to
 Context.mkFPNumeral.

Fixes #973.
---
 src/api/java/Context.java | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index ede494598..ee7536eeb 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -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);
     }