From ebfcb2a2ebef6494e90f322948bcb74ad2da9f29 Mon Sep 17 00:00:00 2001
From: Sam Vervaeck <samvv@pm.me>
Date: Fri, 2 Jun 2023 21:46:35 +0200
Subject: [PATCH] Remove comment from Checker.cc

---
 src/Checker.cc | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/Checker.cc b/src/Checker.cc
index 91018248b..fa9b3d2ee 100644
--- a/src/Checker.cc
+++ b/src/Checker.cc
@@ -1,6 +1,4 @@
 
-// TODO create the constraint in addConstraint, not the other way round
-
 #include <algorithm>
 #include <iterator>
 #include <stack>