Make fs_unit's name () instead of unit

ocaml-gospel · Apr 2, 2024 · 4886add · 4886add
1 parent f8a38c4
commit 4886add
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/CHANGES.md b/CHANGES.md
@@ -16,6 +16,8 @@
 
 ## Internals
 
+- Fix `ls_name` of `unit` logical symbol` to be `()`
+  [\#387](https://github.com/ocaml-gospel/gospel/pull/387)
 - Fix the `is_ts_tuple` function so that it doesn't take `unit` to be a tuple
   [\#386](https://github.com/ocaml-gospel/gospel/pull/386)
 - Use unique identifiers rather than physical equality for `Symbols.ls_equal`

diff --git a/src/symbols.ml b/src/symbols.ml
@@ -79,7 +79,7 @@ let ps_equ =
 
 let fs_unit =
   fsymbol ~constr:true ~field:false
-    (Ident.create ~loc:Location.none "unit")
+    (Ident.create ~loc:Location.none "()")
     [] ty_unit
 
 let fs_bool_true =