From 386cbade89415ff9328e08e31e4751c421f91b46 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Fri, 7 Sep 2018 16:06:17 -0700
Subject: [PATCH] na

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 src/smt/theory_jobscheduler.cpp | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/smt/theory_jobscheduler.cpp b/src/smt/theory_jobscheduler.cpp
index 918f349cd..a372a274f 100644
--- a/src/smt/theory_jobscheduler.cpp
+++ b/src/smt/theory_jobscheduler.cpp
@@ -86,7 +86,6 @@ namespace smt {
         return true;
     }
 
-    // TBD: stronger parameter validation
     void theory_jobscheduler::internalize_cmd(expr* cmd) {
         symbol key, val;
         rational r;