Fix for PBT tutorial: export helper function mentioned in tutorial (#298

) Signed-off-by: Pierre Fenoll <[email protected]>
proper-testing · Jul 26, 2022 · bfd7d86 · bfd7d86
1 parent cfc29e7
commit bfd7d86
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/examples/labyrinth.erl b/examples/labyrinth.erl
@@ -23,7 +23,7 @@
 %%% @author Andreas Löscher and Kostis Sagonas
 
 -module(labyrinth).
--export([maze/1]).
+-export([maze/1, draw_map/1]).
 -export([prop_exit_random/1,
 	 prop_exit_targeted_user/1,
 	 prop_exit_targeted_auto/1]).