From c4a5327b4b4c81603af57e4e7b49296f70198b9d Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Mon, 2 Nov 2020 23:05:05 +0100
Subject: [PATCH] networks: Fix the tests for print-org-tbn.

---
 networks.rkt | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/networks.rkt b/networks.rkt
index 7a29777..812a15c 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -1597,4 +1597,5 @@
   (test-case "print-org-tbn"
     (define tbn (make-tbn `((a . ,(make-sbf/state '((b . 1))))
                             (b . ,(make-tbf/state '((a . -1)) -1)))))
-    (print-org-tbn tbn)))
+    (check-equal? (print-org-tbn tbn)
+                  '((- a b θ) (a 0 1 0) (b -1 0 -1)))))