From d7d3717c834f8bfd156f79c7c7c70c57df1ff6e1 Mon Sep 17 00:00:00 2001
From: Sergiu Ivanov <sivanov@colimite.fr>
Date: Sat, 28 Nov 2020 23:12:49 +0100
Subject: [PATCH] networks: Fix build-tbn-state-graph.

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

diff --git a/networks.rkt b/networks.rkt
index 273aba5..515f92d 100644
--- a/networks.rkt
+++ b/networks.rkt
@@ -1574,7 +1574,7 @@
 ;;; A shortcut for building the state graphs of TBN.
 (define build-tbn-state-graph
   (compose pretty-print-state-graph
-           build-full-01-state-graph
+           build-full-state-graph
            make-syn-dynamics
            tbn->network))