From cf0fffed43d0ca7618cd0013411151e057b7a32a Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Mon, 18 May 2026 12:35:26 -0300
Subject: RNT interface

Co-authored-by: Estevan Castilho <tevo@riajuu.net>
---
 lib/prelude/domains.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'lib/prelude/domains.ml')

diff --git a/lib/prelude/domains.ml b/lib/prelude/domains.ml
index 022cc6b..9dc9c86 100644
--- a/lib/prelude/domains.ml
+++ b/lib/prelude/domains.ml
@@ -98,7 +98,7 @@ let rational : Relation.domain =
     | Some n ->
         let a, b = cantor_unpair n in
         let num = nat_to_int a in
-        (* Map b → non-zero integer: 0→1, 1→-1, 2→2, 3→-2, … *)
+        (* Map b -> non-zero integer: 0->1, 1->-1, 2->2, 3->-2, … *)
         let den = if b mod 2 = 0 then (b / 2) + 1 else -((b + 1) / 2) in
         let attributes =
           Tuple.AttributeMap.of_list
-- 
cgit v1.2.3