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;
         }