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/Parser.idr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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

diff --git a/src/Obs/Parser.idr b/src/Obs/Parser.idr
index fbd1252..67446bf 100644
--- a/src/Obs/Parser.idr
+++ b/src/Obs/Parser.idr
@@ -102,7 +102,7 @@ obsTokenMap = toTokenMap [(newline, OTNewline), (spaces, OTIgnore)] ++
           Nothing => Tok OTIdent s)
   ] ++ toTokenMap
   [ (digits, OTNat)
-  , (exact "_", OTPoint)
+  , (exact "*", OTPoint)
   , (exact "(", OTPOpen)
   , (exact ")", OTPClose)
   , (exact "=", OTEqual)
-- 
cgit v1.2.3