From 5f2d818b1a2801f647fe1f3ce2a61d7d4806e251 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Fri, 2 Jul 2010 00:30:19 +0000
Subject: re-generated comment headers of source files

---
 src/parser/parser_builder.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/parser/parser_builder.h')

diff --git a/src/parser/parser_builder.h b/src/parser/parser_builder.h
index ed1ab807b..b63f39d78 100644
--- a/src/parser/parser_builder.h
+++ b/src/parser/parser_builder.h
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: cconway
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): mdeters
  ** This file is part of the CVC4 prototype.
  ** Copyright (c) 2009, 2010  The Analysis of Computer Systems Group (ACSys)
  ** Courant Institute of Mathematical Sciences
-- 
cgit v1.2.3