diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index 5ef3518d7..6034395fc 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -151,7 +151,6 @@ void theory_str::assert_axiom(expr * e) {
         ctx.internalize(e, true);
     }
     literal lit(ctx.get_literal(e));
-    // TESTING!
     ctx.mark_as_relevant(lit);
     ctx.mk_th_axiom(get_id(), 1, &lit);