networks: Fix build-tbn-state-graph.

2020-11-28 23:12:49 +01:00 · 2020-11-28 23:12:49 +01:00 · d7d3717c83
parent 6c30120376
commit d7d3717c83
1 changed files with 1 additions and 1 deletions
--- 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))