From 642cfe49a915a20ca43b0b213c20a3787300c459 Mon Sep 17 00:00:00 2001
From: Tommy Hofmann <thofma@gmail.com>
Date: Fri, 19 Jan 2018 10:49:31 +0100
Subject: [PATCH] Bump version number

---
 REQUIRE      | 2 +-
 src/Hecke.jl | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/REQUIRE b/REQUIRE
index ae8feaabd9..0fd5eb2988 100644
--- a/REQUIRE
+++ b/REQUIRE
@@ -1,2 +1,2 @@
 julia 0.6
-Nemo 0.7.0
+Nemo 0.7.5
diff --git a/src/Hecke.jl b/src/Hecke.jl
index 70fcc8c44e..db9f508eca 100644
--- a/src/Hecke.jl
+++ b/src/Hecke.jl
@@ -291,7 +291,7 @@ end
 #
 ################################################################################
 
-global VERSION_NUMBER = v"0.3.0"
+global VERSION_NUMBER = v"0.4.0"
 
 ################################################################################
 #