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>