From 9e2563f88a808118520727318cddb96e17df8f7e Mon Sep 17 00:00:00 2001
From: Jean-Christophe Filliatre <jean-christophe.filliatre@lri.fr>
Date: Mon, 17 Oct 2011 14:26:50 +0000
Subject: [PATCH] release 1.8.1

---
 CHANGES     | 4 ++--
 Makefile.in | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/CHANGES b/CHANGES
index 75525268..201ff8d2 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,6 +1,6 @@
 
-version 1.81, October 17, 2011
-------------------------------
+version 1.8.1, October 17, 2011
+-------------------------------
  o module Gmap now has a signature for edges (E_SRC) compatible with
    Sig, so that it is easier to apply functor Gmap.Edge
    (contributed by Markus W. Weissmann <markus.weissmann@in.tum.de>)
diff --git a/Makefile.in b/Makefile.in
index b208560c..5d955a11 100644
--- a/Makefile.in
+++ b/Makefile.in
@@ -105,7 +105,7 @@ graph.cmo: $(CMI) $(CMO)
 graph.cmx: $(CMI) $(CMX)
 	$(OCAMLOPT) $(INCLUDES) -pack -o $@ $^
 
-VERSION=1.81
+VERSION=1.8.1
 
 src/version.ml: Makefile
 	rm -f $@