diff options
Diffstat (limited to 'contrib/update-copyright.pl')
| -rwxr-xr-x | contrib/update-copyright.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/update-copyright.pl b/contrib/update-copyright.pl index 2ab350d24..a9bf1fe0b 100755 --- a/contrib/update-copyright.pl +++ b/contrib/update-copyright.pl @@ -110,7 +110,7 @@ if($#ARGV >= 0 && $ARGV[0] eq '-m') { my @searchdirs = (); if($#ARGV == -1) { - (chdir($dir."/..") && -f "src/include/cvc4_public.h") || die "can't find top-level source directory for cvc5"; + (chdir($dir."/..") && -f "src/include/cvc5_public.h") || die "can't find top-level source directory for cvc5"; my $pwd = `pwd`; chomp $pwd; print <<EOF; |