From 6178d062b287cb0b9ea92c5989bd5628b9b1edd4 Mon Sep 17 00:00:00 2001 From: Radu Grigore Date: Wed, 18 Dec 2019 07:10:31 -0800 Subject: [PATCH] [topl] Minor comment improvement. Summary: At some point, code reformatting moved the comment in a place where it didn't make sense. Reviewed By: ngorogiannis Differential Revision: D19035489 fbshipit-source-id: 146ad8a15 --- infer/src/topl/ToplAst.ml | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) 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 *)