From a86b330c8b1ebfa7ec9a284ceb7cba69ff6d09b9 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Thu, 1 Apr 2010 07:19:41 +0000
Subject: reran update-copyright.pl to get new contributors and add new header
 comments to files without them

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

(limited to 'src/prop/sat.h')

diff --git a/src/prop/sat.h b/src/prop/sat.h
index 207ed90fd..12aa82793 100644
--- a/src/prop/sat.h
+++ b/src/prop/sat.h
@@ -2,7 +2,7 @@
 /** sat.h
  ** Original author: mdeters
  ** Major contributors: dejan
- ** Minor contributors (to current version): none
+ ** Minor contributors (to current version): cconway
  ** 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