diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index d0f7226d7ec8cc0c468c5483a49f6ec5303673de..f4fa9ff2b66870b96593353440bc9a95e3ee99c8 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -18,8 +18,6 @@ default:
 variables:
   DEFAULT: "feature/bobot/jbuilder"
   OCAML: "4_12"
-#     CURRENT: $CI_COMMIT_REF_NAME
-#     FRAMA_CI_OPT: "--override frama-c:$CI_COMMIT_REF_NAME,$CI_COMMIT_SHA"
 
 ################################################################################
 ### BUILD