From 2d1f5edc91a40ff4169cf2eb7b709d887f84abbb Mon Sep 17 00:00:00 2001
From: Tiago Gomes <tgomes@fc.up.pt>
Date: Tue, 18 Dec 2012 23:52:56 +0000
Subject: [PATCH] There is no more to do

---
 packages/CLPBN/horus/TODO | 2 --
 1 file changed, 2 deletions(-)
 delete mode 100644 packages/CLPBN/horus/TODO

diff --git a/packages/CLPBN/horus/TODO b/packages/CLPBN/horus/TODO
deleted file mode 100644
index 360fa65ca..000000000
--- a/packages/CLPBN/horus/TODO
+++ /dev/null
@@ -1,2 +0,0 @@
-- Handle formulas like f(X,X)
-