From 7fc95aff3cb70e95376bb3ce38b37c028df69c29 Mon Sep 17 00:00:00 2001
From: "Christoph M. Wintersteiger" <cwinter@microsoft.com>
Date: Tue, 7 Oct 2014 14:24:28 +0100
Subject: [PATCH] Minor cleanliness fix.

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

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