From d27db4148547855e81591a751b51c946a0c2fea0 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Gwena=C3=ABl=20Delaval?= <gwenael.delaval@inria.fr>
Date: Wed, 20 Nov 2013 10:20:35 +0100
Subject: [PATCH] Version 1.00.03

---
 CHANGES | 5 +++++
 1 file changed, 5 insertions(+)

diff --git a/CHANGES b/CHANGES
index d7d797e..5090f23 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,4 +1,9 @@
 
+Heptagon 1.00.03 (20/11/2013)
+-----------------------------
+
+ - buf fix: tomato application with contracts
+
 Heptagon 1.00.02 (29/10/2013)
 -----------------------------