From 9503d955f9d0b4597fc1623e70df942e03dcabe0 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 11 Nov 2014 13:16:28 +0000
Subject: [PATCH] FPA API bugfix

Signed-off-by: Christoph M. Wintersteiger <cwinter@microsoft.com>
---
 src/ast/float_decl_plugin.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/ast/float_decl_plugin.cpp b/src/ast/float_decl_plugin.cpp
index 9bf2d5c81..f11389024 100644
--- a/src/ast/float_decl_plugin.cpp
+++ b/src/ast/float_decl_plugin.cpp
@@ -194,7 +194,7 @@ sort * float_decl_plugin::mk_sort(decl_kind k, unsigned num_parameters, paramete
     case FLOAT64_SORT:
         return mk_float_sort(11, 53);
     case FLOAT128_SORT:
-        return mk_float_sort(15, 133);
+        return mk_float_sort(15, 113);
     default:
         m_manager->raise_exception("unknown floating point theory sort");
         return 0;