From e9f8d95e3f2618e776aa3cebadc469c523347f30 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Mon, 3 Jan 2022 18:30:07 +0100
Subject: Make a minor modification

---
 src/Interpreter.ml | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'src')

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 *)
-- 
cgit v1.2.3