Remove obsolete to-do note

2020-05-11 04:00:51 +02:00 · 2020-05-11 04:00:51 +02:00 · 674cee0e87
parent 2ed1e6d89d
commit 674cee0e87
1 changed files with 1 additions and 1 deletions
--- 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,
 }