diff options
Diffstat (limited to 'src/CfimAst.ml')
| -rw-r--r-- | src/CfimAst.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/CfimAst.ml b/src/CfimAst.ml index 36977aad..d2bf9181 100644 --- a/src/CfimAst.ml +++ b/src/CfimAst.ml @@ -58,6 +58,7 @@ type expression = | Switch of operand * switch_targets | Loop of expression [@@deriving show] +(* TODO: merge with statement *) and switch_targets = | If of expression * expression (** Gives the "if" and "else" blocks *) |