diff --git a/src/translate/verify_properties.rs b/src/translate/verify_properties.rs
index fee701a..16b47fd 100644
--- a/src/translate/verify_properties.rs
+++ b/src/translate/verify_properties.rs
@@ -16,7 +16,7 @@ type Definitions =
 
 pub(crate) struct Translator<'p>
 {
-	problem: &'p mut crate::Problem,// TODO: refactor
+	problem: &'p mut crate::Problem,
 	definitions: Definitions,
 }