1 files changed, 1 insertions, 1 deletions
diff --git a/src/Values.ml b/src/Values.ml
index c7a79eae..3e6bc838 100644
--- a/src/Values.ml
+++ b/src/Values.ml
@@ -17,7 +17,7 @@ module AbstractionId = IdGen ()
 
 module RegionId = IdGen ()
 
-(* TODO: move *)
+(* TODO: move? *)
 type var = {
   index : VarId.id;  (** Unique variable identifier *)
   name : string option;