From 46567dcdab21b85d20a317a37265b037f36ad737 Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Thu, 11 Apr 2024 20:08:40 +0200
Subject: Update a comment

---
 compiler/SymbolicToPure.ml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'compiler')

diff --git a/compiler/SymbolicToPure.ml b/compiler/SymbolicToPure.ml
index cf03fddf..15b52237 100644
--- a/compiler/SymbolicToPure.ml
+++ b/compiler/SymbolicToPure.ml
@@ -282,8 +282,8 @@ type bs_ctx = {
   mk_panic : texpression option;
       (** Small helper: translate a [fail] expression.
 
-      We initialize this at [None].
-  *)
+           We initialize this at [None].
+       *)
 }
 [@@deriving show]
 
-- 
cgit v1.2.3