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))