From d8f90802c0933be09377e30fec724e24252c2253 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Mon, 19 Jan 2015 18:14:22 +0000
Subject: [PATCH] Added FPA setup to default kernel setup

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

diff --git a/src/smt/smt_setup.cpp b/src/smt/smt_setup.cpp
index 68e960fb8..d17e4b803 100644
--- a/src/smt/smt_setup.cpp
+++ b/src/smt/smt_setup.cpp
@@ -813,6 +813,7 @@ namespace smt {
                 setup_AUFLIA(false);
             setup_datatypes();
             setup_bv();
+            setup_fpa();
             return;
         }