diff options
-rw-r--r-- | Master/tlpkg/TeXLive/TLTREE.pm | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Master/tlpkg/TeXLive/TLTREE.pm b/Master/tlpkg/TeXLive/TLTREE.pm index 25b9290d003..09599571ac1 100644 --- a/Master/tlpkg/TeXLive/TLTREE.pm +++ b/Master/tlpkg/TeXLive/TLTREE.pm @@ -349,7 +349,7 @@ sub _get_matching_files { } elsif ($pattype eq "d") { @matchfiles = $self->files_under_path($patdata); } else { - die "Unknown pattern pattern type `$pattype' in $p"; + die "Unknown pattern type `$pattype' in $p"; } ddebug("p=$p; matchfiles=@matchfiles\n"); return @matchfiles; |