From d9c7c3a6fa2acd87aebcaeb129859c31951042ec Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Thu, 7 Feb 2019 14:58:38 -0800
Subject: [PATCH] Update README.md

---
 README.md | 2 --
 1 file changed, 2 deletions(-)

diff --git a/README.md b/README.md
index 9d2868d..ee4bce0 100644
--- a/README.md
+++ b/README.md
@@ -47,8 +47,6 @@ a, b = mtl.parse('a'), mtl.parse('b')
 phi0 = ~a
 phi1 = a & b
 phi2 = a | b
-
-# TODO: add
 phi3 = a ^ b
 phi4 = a.iff(b)
 phi5 = a.implies(b)