@@ -24,7 +24,7 @@ comma separated list of modules. For example, a library test which
24has two modules ``foo.idr`` and ``bar.idr`` as source files would be
24has two modules ``foo.idr`` and ``bar.idr`` as source files would be
25written as follows::
25written as follows::
27− package foo
27+ package test
29 modules = foo, bar
29 modules = foo, bar