correct example package name
commit2ce0c5ddb46a5a24efb791dc224a1236b6048f3e
authorGeorge <gdennie@pospeople.com>
dateSun 2 Jun 2019, 00:04 (7 years ago)
parentfdcbb6d
docs/reference/packages.rst+1−1
@@ -24,7 +24,7 @@ comma separated list of modules. For example, a library test which
2424has two modules ``foo.idr`` and ``bar.idr`` as source files would be
2525written as follows::
2626
27− package foo
27+ package test
2828
2929 modules = foo, bar
3030