diff --git a/src/tactic/portfolio/smt_strategic_solver.cpp b/src/tactic/portfolio/smt_strategic_solver.cpp
index d958c501b..caf67084d 100644
--- a/src/tactic/portfolio/smt_strategic_solver.cpp
+++ b/src/tactic/portfolio/smt_strategic_solver.cpp
@@ -77,7 +77,7 @@ static void init(strategic_solver * s) {
     s->set_tactic_for(symbol("LRA"),       alloc(lra_fct));
     s->set_tactic_for(symbol("UFBV"),      alloc(ufbv_fct));
     s->set_tactic_for(symbol("BV"),        alloc(ufbv_fct));        
-	s->set_tactic_for(symbol("QF_FPA"),    alloc(qffpa_fct));
+    s->set_tactic_for(symbol("QF_FPA"),    alloc(qffpa_fct));
 }
 
 solver * mk_smt_strategic_solver(cmd_context & ctx) {