From 7e867f684f2bbe29c1bf618afdd06ba66177a525 Mon Sep 17 00:00:00 2001
From: Alexander Nutz <alexander.nutz@vxcc.dev>
Date: Fri, 12 Sep 2025 10:26:26 +0200
Subject: [PATCH] oops

---
 spec.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spec.md b/spec.md
index 18cad58..879d065 100644
--- a/spec.md
+++ b/spec.md
@@ -72,7 +72,7 @@ type DbUser = { name: List[Char], pass: List[Char] }
 
 def example(u: User) : DbUser {
   u with pass: "1234"
-  (* has type { name: List[Char], pass: List[Char] } *)
+  # has type { name: List[Char], pass: List[Char] }
 }
 
 def example2() : {name: List[Char], pass: List[Char]} {