diff --git a/src/ila-mngr/u_unroller_smt.cc b/src/ila-mngr/u_unroller_smt.cc
index 5665da204..5bdeff788 100644
--- a/src/ila-mngr/u_unroller_smt.cc
+++ b/src/ila-mngr/u_unroller_smt.cc
@@ -71,16 +71,16 @@ UnrollerSmt<Generator>::UnrollWithStepsUnconnected_(const size_t& len,
   return smt_gen_.GetShimExpr(nullptr, "");
 }
 
-//
-// PathUnroller
-//
-
 // Concretize SMT generators
-template class PathUnroller<Z3ExprAdapter>;
+template class UnrollerSmt<Z3ExprAdapter>;
 #ifdef SMTSWITCH_INTERFACE
-template class PathUnroller<SmtSwitchItf>;
+template class UnrollerSmt<SmtSwitchItf>;
 #endif // SMTSWITCH_INTERFACE
 
+//
+// PathUnroller
+//
+
 template <class Generator> void PathUnroller<Generator>::SetDecidingVars() {
   ExprSet unique_vars;
   for (const auto& instr : seq_) {
@@ -116,4 +116,10 @@ void PathUnroller<Generator>::MakeOneTransition(const size_t& idx) {
   this->assert_holder_.push_back(decode);
 }
 
+// Concretize SMT generators
+template class PathUnroller<Z3ExprAdapter>;
+#ifdef SMTSWITCH_INTERFACE
+template class PathUnroller<SmtSwitchItf>;
+#endif // SMTSWITCH_INTERFACE
+
 } // namespace ilang