diff --git a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
index b580762fd5bfbc1b68c8a9a7958b1a6a7bcbda6a..5a6773ad9af1a2d053355c3a04456d678d3adcad 100644
--- a/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
+++ b/src/plugins/e-acsl/share/e-acsl/bittree_model/e_acsl_bittree.h
@@ -356,7 +356,6 @@ static struct _block * get_cont (void * ptr) {
   if(__root == NULL || ptr == NULL) return NULL;
 
   struct bittree * other_choice = NULL;
-
   while(1) {
     if(tmp->is_leaf) {
       /* tmp cannot contain ptr because its begin addr is higher */