From 9cb9f9c80b395983755e41ba4f5124bf34aa1dc0 Mon Sep 17 00:00:00 2001
From: Wilson Snyder <wsnyder@wsnyder.org>
Date: Sun, 2 Jun 2013 14:52:19 -0400
Subject: [PATCH] devel release

---
 Changes      | 3 +++
 configure.ac | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/Changes b/Changes
index 72649f40b..f44dff3a7 100644
--- a/Changes
+++ b/Changes
@@ -3,6 +3,9 @@ Revision history for Verilator
 The contributors that suggested a given feature are shown in [].  [by ...]
 indicates the contributor was also the author of the fix; Thanks!
 
+* Verilator 3.851 devel
+
+
 * Verilator 3.850 2013-06-02
 
 **    Support interfaces and modports, bug102.  [Byron Bradley, Jeremy Bennett]
diff --git a/configure.ac b/configure.ac
index 3e9a8a28a..b5c959485 100644
--- a/configure.ac
+++ b/configure.ac
@@ -6,7 +6,7 @@
 
 #AC_INIT([Verilator],[#.### YYYY-MM-DD])
 #AC_INIT([Verilator],[#.### devel])
-AC_INIT([Verilator],[3.850 2013-06-02])
+AC_INIT([Verilator],[3.851 devel])
 AC_CONFIG_HEADER(src/config_build.h)
 AC_CONFIG_FILES(Makefile src/Makefile src/Makefile_obj include/verilated.mk include/verilated_config.h)