From 72a7524a2f73d68442326af6df276a35c8e2b585 Mon Sep 17 00:00:00 2001
From: Liam O'Connor <me@liamoc.net>
Date: Sun, 11 May 2025 14:36:01 +1000
Subject: [PATCH] fix typo

---
 trees/dt/dt-003P.tree | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/trees/dt/dt-003P.tree b/trees/dt/dt-003P.tree
index e020f7c..a6658e6 100644
--- a/trees/dt/dt-003P.tree
+++ b/trees/dt/dt-003P.tree
@@ -10,7 +10,7 @@
   \end{array}
 }}
 \subblock{Expressions}{
-  For #{\Gamma : e : \tau}, we have #{\llbracket e \rrbracket_\Gamma : \llbracket \tau \rrbracket } defined as follows:
+  For #{\Gamma \vdash e : \tau}, we have #{\llbracket e \rrbracket_\Gamma : \llbracket \tau \rrbracket } defined as follows:
 ##{
 \begin{array}{lcl}
   \llbracket n \rrbracket_\Gamma(\vec{z}) & =&  n\\
-- 
2.51.2