From c0558a1625887f4761cfbad371e07af06a49b38b Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Sun, 3 Oct 2010 00:06:25 +0000
Subject: file header documentation regenerated with contributors names; no
 code modified in this commit

---
 src/main/util.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/main/util.cpp')

diff --git a/src/main/util.cpp b/src/main/util.cpp
index 65f6ed329..760bd5258 100644
--- a/src/main/util.cpp
+++ b/src/main/util.cpp
@@ -3,7 +3,7 @@
  ** \verbatim
  ** Original author: mdeters
  ** Major contributors: none
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): acsys
  ** 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