From 66fcbcea0b05807d1a3063f266384c0b36798154 Mon Sep 17 00:00:00 2001
From: Greg Brown <greg.brown01@ed.ac.uk>
Date: Sun, 18 Dec 2022 13:46:14 +0000
Subject: syntax: rename "_" -> "*".

---
 src/Obs/Syntax.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Obs/Syntax.idr')

diff --git a/src/Obs/Syntax.idr b/src/Obs/Syntax.idr
index 07c625b..6b95910 100644
--- a/src/Obs/Syntax.idr
+++ b/src/Obs/Syntax.idr
@@ -36,7 +36,7 @@ Pretty Syntax where
   prettyPrec d (Var x str) = pretty str
   prettyPrec d (Sort x s) = prettyPrec d s
   prettyPrec d (Top x) = pretty "()"
-  prettyPrec d (Point x) = pretty "_"
+  prettyPrec d (Point x) = pretty "*"
   prettyPrec d (Bottom x) = pretty "Void"
   prettyPrec d (Absurd x a t) =
     parenthesise (d > Open) $
-- 
cgit v1.2.3