diff --git a/src/common/printer.c b/src/common/printer.c
index 7b3befd..617a2f4 100644
--- a/src/common/printer.c
+++ b/src/common/printer.c
@@ -1008,8 +1008,6 @@ void print_ascii_riscv(struct ascii* art, uint32_t la, int32_t termw, bool use_s
         while (ext_to_print < ext_list_size && !((extensions_mask[extension_list[ext_to_print].id])))
           ext_to_print++;
 
-        printf("There are %d ext. This is ext nº%d with id %d\n", num_extensions, ext_num, ext_to_print);
-
         if(ext_to_print == ext_list_size) {
           printBug("print_ascii_riscv: Unable to find the extension to print");
         }