diff --git a/Ivette/src/frama-c/server.js b/Ivette/src/frama-c/server.js
index dc581f433246f6200c6d7d0e193322fd2ae4f644..14a4bd118163abfe52df4931cde2303c9613edd8 100644
--- a/Ivette/src/frama-c/server.js
+++ b/Ivette/src/frama-c/server.js
@@ -108,7 +108,6 @@ export function getPending() {
 // --------------------------------------------------------------------------
 
 function _status(s,err) {
-  console.log('STATUS',s,err);
   if (err) {
     status = FAILED;
     error = err.toString();