summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--compiler/SymbolicToPure.ml4
1 files changed, 2 insertions, 2 deletions
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]