From dfcf7dba0b2d8ad6eb9d8540e92804e70205b8fb Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 17 Dec 2009 21:05:15 +0000
Subject: update-copyright.pl now retrieves and incorporates author information
 from repository history; re-ran update-copyright.pl; cleaned up some things
 with make

---
 src/parser/parser.cpp | 3 +++
 1 file changed, 3 insertions(+)

(limited to 'src/parser/parser.cpp')

diff --git a/src/parser/parser.cpp b/src/parser/parser.cpp
index 8d4af5ba1..2ff409686 100644
--- a/src/parser/parser.cpp
+++ b/src/parser/parser.cpp
@@ -1,5 +1,8 @@
 /*********************                                           -*- C++ -*-  */
 /** parser.cpp
+ ** Original author: mdeters
+ ** Major contributors: dejan
+ ** Minor contributors (to current version): none
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009 The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
-- 
cgit v1.2.3