diff --git a/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml b/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml
index e26b40f..5126bd1 100644
--- a/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml
+++ b/compiler/heptagon/ctrln/ctrlNbacAsEpt.ml
@@ -244,6 +244,7 @@ let translate_expr gd e =
                                  %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))
     | `Luop _
     | `Lbop _
     | `Lsop _ -> raise (Untranslatable ("Bitwise operation", flag))
diff --git a/configure.in b/configure.in
index 220fae0..30a89b2 100644
--- a/configure.in
+++ b/configure.in
@@ -71,7 +71,7 @@ AC_CHECK_OCAML_PKG([lablgtk2])
     AC_MSG_WARN([Could not find 'lablgtk2'. The simulator will not be built])
  fi
 
-dnl version should be >= 0.11
+dnl version should be >= 0.14
 AC_CHECK_OCAML_PKG([reatk.ctrlNbac])
  if test "${OCAML_PKG_reatk_ctrlNbac}" = "no"; then
    package_reatk_ctrlNbac="ocaml"; #dummy flag