diff --git a/src/muz_qe/pdr_util.cpp b/src/muz_qe/pdr_util.cpp
index 169eeec72..3d93f8104 100644
--- a/src/muz_qe/pdr_util.cpp
+++ b/src/muz_qe/pdr_util.cpp
@@ -1430,6 +1430,6 @@ namespace pdr {
 }
 
 template class rewriter_tpl<pdr::ite_hoister_cfg>;
-
+template class rewriter_tpl<pdr::arith_normalizer_cfg>;