From e951ffe0184cb152994a62a9535f44399f301f1b Mon Sep 17 00:00:00 2001
From: John Regehr <regehr@cs.utah.edu>
Date: Sat, 19 Nov 2011 12:07:32 -0700
Subject: [PATCH] Ack Pascal in the ChangeLog.

Note to self and a tiny feature suggested by Alastair in c_delta
---
 ChangeLog | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/ChangeLog b/ChangeLog
index 4898d7d71..9985303be 100644
--- a/ChangeLog
+++ b/ChangeLog
@@ -48,6 +48,8 @@ Changes since 2.0.0 release:
 		--upper-expr-complexity <N>
 		--max-block-depth <N>
  
-	Several bugs were fixed.
+	Quite a few bugs were fixed, many found by Pascal Cuoq using
+	Frama-C to detect undefined or unspecified behaviors in programs
+	generated by Csmith.
 	
 	Re-organize and clean up unnecessary code.