diff options
Diffstat (limited to 'src/InterpreterUtils.ml')
| -rw-r--r-- | src/InterpreterUtils.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/InterpreterUtils.ml b/src/InterpreterUtils.ml index 47323cc2..6ef66f1d 100644 --- a/src/InterpreterUtils.ml +++ b/src/InterpreterUtils.ml @@ -238,8 +238,8 @@ let value_has_ret_symbolic_value_with_borrow_under_mut (ctx : C.eval_ctx) raise Found else () | V.SynthInput | V.SynthInputGivenBack | V.FunCallGivenBack - | V.SynthRetGivenBack -> - () + | V.SynthRetGivenBack -> () + | V.Global -> () end in (* We use exceptions *) |