From bfd2541961da6f628e18e4e956ab73b50ab69476 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 28 Jan 2020 11:07:26 +0100 Subject: [PATCH] Kill obsolete TODO. --- examples/deprecated/java/cloud/migration/Daemon.java | 1 - src/mc/ModelChecker.hpp | 1 - 2 files changed, 2 deletions(-) diff --git a/examples/deprecated/java/cloud/migration/Daemon.java b/examples/deprecated/java/cloud/migration/Daemon.java index 7013adbd56..d5fe01fec1 100644 --- 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 50af8599dc..53ff36b222 100644 --- 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 hostnames_; // This is the parent snapshot of the current state: PageStore page_store_{500}; -- 2.20.1