From 6d6f296f47ce552ad050d0a3b5fc54bbf0642e2b Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Tue, 11 Feb 2020 16:48:16 +0100
Subject: [PATCH] [Ivette] cleaning
---
Ivette/src/frama-c/server.js | 1 -
1 file changed, 1 deletion(-)
diff --git a/Ivette/src/frama-c/server.js b/Ivette/src/frama-c/server.js
index dc581f43324..14a4bd11816 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();
--
GitLab