diff --git a/CHANGES b/CHANGES
index 55db504..f2d55b3 100644
--- a/CHANGES
+++ b/CHANGES
@@ -1,3 +1,10 @@
+Heptagon 1.05.00 (07/06/2018)
+-----------------------------
+
+ - Option -simple-scheduler active for scheduling post-ctrln code generation
+ - Handle implication operator in Sigali backend
+ - Compatibility with reatk >= 0.14
+
 Heptagon 1.04.00 (29/09/2017)
 -----------------------------
 
diff --git a/Makefile-distrib b/Makefile-distrib
index 3ee7805..4ceafe1 100644
--- a/Makefile-distrib
+++ b/Makefile-distrib
@@ -2,7 +2,7 @@
 include config
 
 #version = $(shell date +"%d%m%y")
-version = 1.04.00
+version = 1.05.00
 osname=$(shell uname -s)
 hardware=$(shell uname -m)
 heptdir = heptagon-$(version)
diff --git a/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml b/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml
index 5126bd1..4f181cb 100644
--- a/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml
+++ b/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml
@@ -240,8 +240,6 @@ let translate_expr gd e =
     | `Int i -> mkp Initial.tint (Econst (Initial.mk_static_int i))
     | `Real r -> mkp Initial.tfloat (Econst (Initial.mk_static_float r))
     | `Mpq r -> tn ?flag (`Real (Mpqf.to_float r))
-    | `Bint (s, w, _) -> raise (Untranslatable (asprintf "constant of type \
-                                 %a" print_typ (`Bint (s, w)), flag))
     | `Nuop (op, e) -> mk_nuapp ?flag op e
     | `Nnop (op, e, f, l) -> mk_nnapp ?flag op e f l
     | `Ncst _ -> raise (Untranslatable ("Cast operation", flag))
diff --git a/compiler/utilities/global/compiler_options.ml b/compiler/utilities/global/compiler_options.ml
index d677dc2..a6801fa 100644
--- a/compiler/utilities/global/compiler_options.ml
+++ b/compiler/utilities/global/compiler_options.ml
@@ -32,7 +32,7 @@
 open Names
 
 (* version of the compiler *)
-let version = "1.04.00"
+let version = "1.05.00"
 let date = "DATE"
 
 (* standard module *)