From 7630c45b7990d0df1db022f827e7de676ad4499a Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Wed, 13 Dec 2023 11:48:53 +0100
Subject: Make a minor modification in a comment

---
 compiler/InterpreterExpressions.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'compiler/InterpreterExpressions.mli')

diff --git a/compiler/InterpreterExpressions.mli b/compiler/InterpreterExpressions.mli
index f8d979f4..b975371c 100644
--- a/compiler/InterpreterExpressions.mli
+++ b/compiler/InterpreterExpressions.mli
@@ -52,7 +52,7 @@ val eval_operands :
 
     Transmits the computed rvalue to the received continuation.
 
-    Note that this function fails on {!constructor:Aeneas.Expressions.rvalue.Discriminant}: discriminant
+    Note that this function fails on {!Aeneas.Expressions.rvalue.Discriminant}: discriminant
     reads should have been eliminated from the AST.
  *)
 val eval_rvalue_not_global :
-- 
cgit v1.2.3