From b04d897c67d2373a30916e216a90bd94c272dea0 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sun, 23 Feb 2020 09:26:07 +0100
Subject: [PATCH] Remove extra comments at the end of networks.

---
 networks.rkt | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/networks.rkt b/networks.rkt
index cfb21e3..2ec1e59 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -227,7 +227,3 @@
          (list (match (get-interaction-sign network-form doms x y)
                  ['+ 1] ['- -1] ['0 0])
                x y))))))
-
-;1. Define the contract/predicate for domain mapping
-;1. Remove build-all-states-same-domain.
-;2. Add a short test to example.org