From ba531f394d6913e8142074ebdd08c2f5c459b221 Mon Sep 17 00:00:00 2001
From: Mario Surlemont <mario.surlemont@uni-duesseldorf.de>
Date: Sun, 7 Jun 2020 22:07:52 +0200
Subject: [PATCH] Update todo.md

---
 journal/todo.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/journal/todo.md b/journal/todo.md
index ebb0bb7..ab4c9dc 100644
--- a/journal/todo.md
+++ b/journal/todo.md
@@ -3,7 +3,7 @@
 ### implementation
 * Refactor code. 
 	- Fix bug with separators. ✔
-	- Add option to cli to select which type of inequalities to be included. 
+	- Add option to cli to select which type of inequalities to be included. ✔
 * Implement different type of constraints. 
 	- _Solving the Maximum-Weight Connected Subgraph Problem to Optimality_
 	- _Solving the Connected Dominating Set Problem and Power Dominating Set Problem by Integer Programming_ ✔
-- 
GitLab