diff options
Diffstat (limited to 'contrib/addsourcedir')
-rw-r--r-- | contrib/addsourcedir | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/contrib/addsourcedir b/contrib/addsourcedir index ee507f0c6..8c7d74d90 100644 --- a/contrib/addsourcedir +++ b/contrib/addsourcedir @@ -2,6 +2,7 @@ # # addsourcedir # Morgan Deters <mdeters@cs.nyu.edu> for the CVC4 project +# Copyright (c) 2010 The CVC4 Project # # usage: addsourcedir paths... # |