From 504314d4eb8beba3ea97850f02e89500bfd9b2bf Mon Sep 17 00:00:00 2001
From: Ian Jackson <ijackson@chiark.greenend.org.uk>
Date: Sat, 7 Jul 2012 17:59:17 +0100
Subject: [PATCH] notation: we have defined \setmerge now

---
 ranking.tex | 2 --
 1 file changed, 2 deletions(-)

diff --git a/ranking.tex b/ranking.tex
index c5aa008..1dfb63a 100644
--- a/ranking.tex
+++ b/ranking.tex
@@ -64,8 +64,6 @@ $$
   }
 $$
 
-TODO define $\setmerge$
-
 \item Finalise our putative direct dependencies
 $
 \Gamma \assign g(\pc, \Gamma)
-- 
2.30.2