diff options
Diffstat (limited to '')
| -rw-r--r-- | src/Interpreter.ml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/Interpreter.ml b/src/Interpreter.ml index e72ece58..5d07291c 100644 --- a/src/Interpreter.ml +++ b/src/Interpreter.ml @@ -2251,6 +2251,8 @@ type projection_access = { We return the (eventually) updated value, the value we read at the end of the place and the (eventually) updated environment. + + TODO: use exceptions? *) let rec access_projection (access : projection_access) (ctx : C.eval_ctx) (* Function to (eventually) update the value we find *) |