From c21e87658740dd82f45bfc091ddfc7eace72d81c Mon Sep 17 00:00:00 2001
From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 28 Sep 2004 01:29:10 +0000
Subject: [PATCH] Update.

---
 src/TODO | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/src/TODO b/src/TODO
index 3003410..6392e29 100644
--- a/src/TODO
+++ b/src/TODO
@@ -1,6 +1,6 @@
 * Write "tour".
 
-* Using PAL_USER.
+* Always flush TLB.
 
 ----------------------------------------------------------------------
 
-- 
2.30.2