From 1e73d60a647c7ae427a2f55ee5f08a9f91915c5f Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?David=20B=C3=BChler?= <david.buhler@cea.fr>
Date: Wed, 15 Sep 2021 10:09:28 +0200
Subject: [PATCH] [Eva] Fixes multidim comment to please ocamldoc.

---
 src/kernel_services/abstract_interp/multidim.mli | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/kernel_services/abstract_interp/multidim.mli b/src/kernel_services/abstract_interp/multidim.mli
index 26ff49c7a54..e1d0a7dc839 100644
--- a/src/kernel_services/abstract_interp/multidim.mli
+++ b/src/kernel_services/abstract_interp/multidim.mli
@@ -28,7 +28,7 @@
 
     or, more formally
 
-    { o + Σ dᵢ×xᵢ | ∀i 1≤i≤n ⇒ xᵢ ∊ [0, bᵢ] }
+    \{ o + Σ dᵢ×xᵢ | ∀i 1≤i≤n ⇒ xᵢ ∊ [0, bᵢ] \}
 
     This is a generalisation of integers intervals with modulo implemented in
     Ival : o + d×[0, b]
-- 
GitLab