diff options
Diffstat (limited to 'contrib/dimacs_to_smt.pl')
| -rwxr-xr-x | contrib/dimacs_to_smt.pl | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/contrib/dimacs_to_smt.pl b/contrib/dimacs_to_smt.pl index 6c1e0eeea..701768119 100755 --- a/contrib/dimacs_to_smt.pl +++ b/contrib/dimacs_to_smt.pl @@ -1,7 +1,7 @@ #!/usr/bin/perl -w # DIMACS to SMT # Morgan Deters -# Copyright (c) 2009, 2010 The CVC4 Project +# Copyright (c) 2009, 2010, 2011 The CVC4 Project use strict; |