From 2935706e2670a6aad0a01f4ffa29803574a687ed Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Fri, 6 Jan 2023 01:21:48 +0100
Subject: Fix the comments for ocamldoc

---
 compiler/Interpreter.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/Interpreter.ml')

diff --git a/compiler/Interpreter.ml b/compiler/Interpreter.ml
index c87aa6f2..a69b7b51 100644
--- a/compiler/Interpreter.ml
+++ b/compiler/Interpreter.ml
@@ -126,7 +126,7 @@ let initialize_symbolic_context_for_fun (type_context : C.type_context)
     the synthesis (mostly by ending abstractions).
 
     [is_regular_return]: [true] if we reached a [Return] instruction (i.e., the
-    result is {!Return} or {!LoopReturn}).
+    result is {!constructor:Cps.statement_eval_res.Return} or {!constructor:Cps.statement_eval_res.LoopReturn}).
 
     [inside_loop]: [true] if we are *inside* a loop (result [EndContinue]).
 *)
-- 
cgit v1.2.3