From 27f2b542df088f060fff7540703896e32e284cb8 Mon Sep 17 00:00:00 2001
From: Murphy Berzish <murphy.berzish@gmail.com>
Date: Fri, 6 Apr 2018 12:13:53 -0400
Subject: [PATCH] remove comment

---
 src/smt/theory_str.cpp | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/smt/theory_str.cpp b/src/smt/theory_str.cpp
index 64cba43fb..0a3089c62 100644
--- a/src/smt/theory_str.cpp
+++ b/src/smt/theory_str.cpp
@@ -6831,8 +6831,6 @@ namespace smt {
      * In some cases, the returned formula requires one or more free integer variables to be created.
      * These variables are returned in the reference parameter `freeVariables`.
      * Extra assertions should be made for these free variables constraining them to be non-negative.
-     *
-     * TODO: star unrolling?
      */
     expr_ref theory_str::infer_all_regex_lengths(expr * lenVar, expr * re, expr_ref_vector & freeVariables) {
         ENSURE(u.is_re(re));