From 15171a8c15cde42914a47f0d1b8bad5ebd6be6e6 Mon Sep 17 00:00:00 2001
From: Morgan Deters <mdeters@gmail.com>
Date: Mon, 8 Nov 2010 03:27:48 +0000
Subject: fix out-of-date version/copyright for minisats

---
 COPYING | 1 +
 1 file changed, 1 insertion(+)

(limited to 'COPYING')

diff --git a/COPYING b/COPYING
index 579a42dda..857ebf32f 100644
--- a/COPYING
+++ b/COPYING
@@ -26,6 +26,7 @@ CVC4 incorporates MiniSat code, excluded from the above copyright.
 See src/sat/minisat.  Its copyright:
 
   MiniSat -- Copyright (c) 2003-2006, Niklas Een, Niklas Sorensson
+             Copyright (c) 2007-2010  Niklas Sorensson
 
   Permission is hereby granted, free of charge, to any person obtaining a
   copy of this software and associated documentation files (the
-- 
cgit v1.2.3