Kill obsolete TODO.

diff --git a/examples/deprecated/java/cloud/migration/Daemon.java b/examples/deprecated/java/cloud/migration/Daemon.java
index 7013adb..d5fe01f 100644 (file)
--- a/examples/deprecated/java/cloud/migration/Daemon.java
+++ b/examples/deprecated/java/cloud/migration/Daemon.java
@@ -18,7 +18,6 @@ public class Daemon extends Process {
   public void main(String[] args) throws MsgException {
     int i = 1;
     while(!Main.isEndOfTest()) {
-      // TODO the binding is not yet available
     try {
       currentTask.execute();
     } catch (HostFailureException e) {

diff --git a/src/mc/ModelChecker.hpp b/src/mc/ModelChecker.hpp
index 50af859..53ff36b 100644 (file)
--- a/src/mc/ModelChecker.hpp
+++ b/src/mc/ModelChecker.hpp
@@ -25,7 +25,6 @@ class ModelChecker {
   struct event* socket_event_ = nullptr;
   struct event* signal_event_ = nullptr;
   /** String pool for host names */
-  // TODO, use std::set with heterogeneous comparison lookup (C++14)?
   std::set<std::string> hostnames_;
   // This is the parent snapshot of the current state:
   PageStore page_store_{500};