From 156d7cc56f9eaa867447eb192058f2fbd89eeb74 Mon Sep 17 00:00:00 2001
From: bdemsky <bdemsky>
Date: Wed, 16 Apr 2008 23:22:24 +0000
Subject: [PATCH] things to do

---
 Robust/src/TODO | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 Robust/src/TODO

diff --git a/Robust/src/TODO b/Robust/src/TODO
new file mode 100644
index 00000000..e7649ce6
--- /dev/null
+++ b/Robust/src/TODO
@@ -0,0 +1,2 @@
+1) Make typecasts really work
+2) Logical xor's
\ No newline at end of file
-- 
2.34.1