From 4bd8e0f4979c7cebad17207d268ba2e15f27de28 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Sun, 11 Jan 2015 18:28:07 +0000
Subject: [PATCH] FPA API cosmetics

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/api/dotnet/Context.cs | 12 ++++++------
 src/api/java/Context.java |  4 ++--
 2 files changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/api/dotnet/Context.cs b/src/api/dotnet/Context.cs
index 70777a6e8..1a36a35dc 100644
--- a/src/api/dotnet/Context.cs
+++ b/src/api/dotnet/Context.cs
@@ -3758,11 +3758,11 @@ namespace Microsoft.Z3
         /// <summary>
         /// Create a numeral of FloatingPoint sort from a sign bit and two integers.
         /// </summary>        
-        /// <param name="sgn">the sign.</param>
-        /// <param name="sig">the significand.</param>
+        /// <param name="sgn">the sign.</param>        
         /// <param name="exp">the exponent.</param>
+        /// <param name="sig">the significand.</param>
         /// <param name="s">FloatingPoint sort.</param>        
-        public FPNum MkFP(bool sgn, uint sig, int exp, FPSort s)
+        public FPNum MkFP(bool sgn, int exp, uint sig, FPSort s)
         {
             Contract.Ensures(Contract.Result<FPRMExpr>() != null);
             return MkFPNumeral(sgn, sig, exp, s);
@@ -3771,11 +3771,11 @@ namespace Microsoft.Z3
         /// <summary>
         /// Create a numeral of FloatingPoint sort from a sign bit and two 64-bit integers.
         /// </summary>        
-        /// <param name="sgn">the sign.</param>
-        /// <param name="sig">the significand.</param>
+        /// <param name="sgn">the sign.</param>        
         /// <param name="exp">the exponent.</param>
+        /// <param name="sig">the significand.</param>
         /// <param name="s">FloatingPoint sort.</param>        
-        public FPNum MkFP(bool sgn, UInt64 sig, Int64 exp, FPSort s)
+        public FPNum MkFP(bool sgn, Int64 exp, UInt64 sig, FPSort s)
         {
             Contract.Ensures(Contract.Result<FPRMExpr>() != null);
             return MkFPNumeral(sgn, sig, exp, s);
diff --git a/src/api/java/Context.java b/src/api/java/Context.java
index cfbd7c2c8..2b4c47d76 100644
--- a/src/api/java/Context.java
+++ b/src/api/java/Context.java
@@ -3170,7 +3170,7 @@ public class Context extends IDisposable
      * @param s FloatingPoint sort.        
      * @throws Z3Exception 
      **/
-    public FPNum mkFP(boolean sgn, int sig, int exp, FPSort s) throws Z3Exception
+    public FPNum mkFP(boolean sgn, int exp, int sig, FPSort s) throws Z3Exception
     {
         return mkFPNumeral(sgn, sig, exp, s);
     }
@@ -3183,7 +3183,7 @@ public class Context extends IDisposable
      * @param s FloatingPoint sort.        
      * @throws Z3Exception 
      **/
-    public FPNum mkFP(boolean sgn, long sig, long exp, FPSort s) throws Z3Exception
+    public FPNum mkFP(boolean sgn, long exp, long sig, FPSort s) throws Z3Exception
     {
         return mkFPNumeral(sgn, sig, exp, s);
     }