aboutsummaryrefslogtreecommitdiff
path: root/theory-construct-action.in
diff options
context:
space:
mode:
Diffstat (limited to 'theory-construct-action.in')
-rwxr-xr-xtheory-construct-action.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/theory-construct-action.in b/theory-construct-action.in
index 90b5bf3..0ff9386 100755
--- a/theory-construct-action.in
+++ b/theory-construct-action.in
@@ -22,7 +22,7 @@ shift $(( OPTIND - 1 ))
[ "$#" -gt 0 ] || myusage
while [ "$#" -gt 0 ]; do
- is_theory_dir "${1}" || die 2 "'${1}' is not a directory containing an action or library"
+ is_theory_dir "${1}" || die 2 "'${1}' is not a directory containing a package or library"
if "${recurse}" && [ -r "${1}"/libraries ]; then
# TODO(somasis): arguments are not used for anything yet.