diff --git a/infer/src/topl/ToplAst.ml b/infer/src/topl/ToplAst.ml
index ceed58f0a..a9a9d8868 100644
--- a/infer/src/topl/ToplAst.ml
+++ b/infer/src/topl/ToplAst.ml
@@ -22,9 +22,7 @@ type value = Constant of constant | Register of register_name | Binding of regis
 type binop = (* all return booleans *)
   | OpEq | OpNe | OpGe | OpGt | OpLe | OpLt
 
-type predicate = Binop of binop * value * value | Value of value
-
-(* here, value should be a boolean *)
+type predicate = Binop of binop * value * value | Value of (* bool *) value
 
 type condition = predicate list (* conjunction *)