diff options
Diffstat (limited to 'src/ast_util.ml')
| -rw-r--r-- | src/ast_util.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/ast_util.ml b/src/ast_util.ml index 82ef660d..5261a6d2 100644 --- a/src/ast_util.ml +++ b/src/ast_util.ml @@ -512,8 +512,8 @@ let string_of_base_effect_aux = function | BE_unspec -> "unspec" | BE_nondet -> "nondet" | BE_escape -> "escape" - | BE_lset -> "lset" - | BE_lret -> "lret" + (*| BE_lset -> "lset" + | BE_lret -> "lret"*) let string_of_base_kind_aux = function | BK_type -> "Type" |