diff --git a/src/ast/rewriter/th_rewriter.cpp b/src/ast/rewriter/th_rewriter.cpp
index 5d19c53e3..0e2c8e781 100644
--- a/src/ast/rewriter/th_rewriter.cpp
+++ b/src/ast/rewriter/th_rewriter.cpp
@@ -73,6 +73,7 @@ struct th_rewriter_cfg : public default_rewriter_cfg {
         m_a_rw.updt_params(p);
         m_bv_rw.updt_params(p);
         m_ar_rw.updt_params(p);
+        m_f_rw.updt_params(p);
         updt_local_params(p);
     }