From 0987ce332a4c7c522f7619fbd3a781121dcc74a5 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Mon, 12 Oct 2020 00:47:25 +0200
Subject: [PATCH] networks: Fix the test case for print-org-tbfs/state.

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

diff --git a/networks.rkt b/networks.rkt
index 5a2a797..6a34435 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -1082,7 +1082,9 @@
   (test-case "print-org-tbfs/state"
     (define tbfs (list (make-tbf/state '((a . 1) (b . 2)) 3)
                        (make-tbf/state '((a . -2) (b . 1)) 1)))
-    (print-org-tbfs/state tbfs)))
+    (check-equal? (print-org-tbfs/state tbfs)
+                  '((a b θ) (1 2 3) (-2 1 1)))))
+
 
 ;;; A TBN is a network form mapping TBFs to variables.
 (define tbn? (hash/c variable? tbf?))