From f016fbb0caf3ba81241ac270516e2e6ade42e35f Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sun, 22 Nov 2020 22:58:21 +0100
Subject: [PATCH] networks: Fix the tests for network-form->network.

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

diff --git a/networks.rkt b/networks.rkt
index 426a91a..a59b791 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -290,8 +290,8 @@
     (define bn (network-form->network
                 (network-form (hash 'a '(and a b)
                                     'b '(not b))
-                              (hash 'a (#f #t)
-                                    'b (#f #t)))))
+                              (hash 'a '(#f #t)
+                                    'b '(#f #t)))))
     (define s (make-state '((a . #t) (b . #t))))
     (check-equal? ((hash-ref (network-functions bn) 'a) s) #t)))