diff options
Diffstat (limited to 'src/InterpreterExpressions.ml')
| -rw-r--r-- | src/InterpreterExpressions.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/InterpreterExpressions.ml b/src/InterpreterExpressions.ml index 3e094902..80b06143 100644 --- a/src/InterpreterExpressions.ml +++ b/src/InterpreterExpressions.ml @@ -598,7 +598,7 @@ let eval_rvalue_aggregate (config : C.config) Transmits the computed rvalue to the received continuation. *) -let eval_rvalue_non_discriminant (config : C.config) (rvalue : E.rvalue) +let eval_rvalue (config : C.config) (rvalue : E.rvalue) (cf : (V.typed_value, eval_error) result -> m_fun) : m_fun = (* Small helpers *) let wrap_in_result (cf : (V.typed_value, eval_error) result -> m_fun) |