@@ -34,7 +34,7 @@ module which defines a binary tree type ``BTree`` (in a file
36Then, this gives a main program (in a file
36Then, this gives a main program (in a file
37−``bmain.idr``) which uses the ``bst`` module to sort a list:
37+``bmain.idr``) which uses the ``Btree`` module to sort a list:
39.. code-block:: idris
39.. code-block:: idris