From 674cee0e87fa8e074e21672e28eb7b5f2f99e85c Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Patrick=20L=C3=BChne?= <patrick@luehne.de>
Date: Mon, 11 May 2020 04:00:51 +0200
Subject: [PATCH] Remove obsolete to-do note

---
 src/translate/verify_properties.rs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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,
 }