diff --git a/headers/header_spec.txt b/headers/header_spec.txt
index a4e5710b9a2d44bc536f923227f81f97ec83cff3..cea13556cb6d26cec2497fb7d12d7f7db31969f9 100644
--- a/headers/header_spec.txt
+++ b/headers/header_spec.txt
@@ -1073,7 +1073,6 @@ src/plugins/print_api/print_interface.ml: CEA_LGPL
 src/plugins/qed/.gitignore: .ignore
 src/plugins/qed/.ocp-indent: .ignore
 src/plugins/qed/Makefile: CEA_WP
-src/plugins/qed/QedGui.ml: CEA_WP
 src/plugins/qed/bvars.ml: CEA_WP
 src/plugins/qed/bvars.mli: CEA_WP
 src/plugins/qed/cache.ml: CEA_WP
diff --git a/src/plugins/qed/Makefile b/src/plugins/qed/Makefile
index 21d114d352f63d8252a7f9481e0e40c0e1d57f19..6fabefa9b84fbe75453a80a215b6931c13cacac9 100644
--- a/src/plugins/qed/Makefile
+++ b/src/plugins/qed/Makefile
@@ -58,8 +58,6 @@ PLUGIN_CMO:= \
 	export_why3 \
 	export_coq \
 
-PLUGIN_GUI_CMO:= QedGui
-
 PLUGIN_DEPENDENCIES:=
 PLUGIN_TESTS_DIRS:=
 PLUGIN_BFLAGS:=
diff --git a/src/plugins/qed/QedGui.ml b/src/plugins/qed/QedGui.ml
deleted file mode 100644
index 40db8a1c9750d4c5ba4d950adc1fbc5628140596..0000000000000000000000000000000000000000
--- a/src/plugins/qed/QedGui.ml
+++ /dev/null
@@ -1,23 +0,0 @@
-(**************************************************************************)
-(*                                                                        *)
-(*  This file is part of WP plug-in of Frama-C.                           *)
-(*                                                                        *)
-(*  Copyright (C) 2007-2021                                               *)
-(*    CEA (Commissariat a l'energie atomique et aux energies              *)
-(*         alternatives)                                                  *)
-(*                                                                        *)
-(*  you can redistribute it and/or modify it under the terms of the GNU   *)
-(*  Lesser General Public License as published by the Free Software       *)
-(*  Foundation, version 2.1.                                              *)
-(*                                                                        *)
-(*  It is distributed in the hope that it will be useful,                 *)
-(*  but WITHOUT ANY WARRANTY; without even the implied warranty of        *)
-(*  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the         *)
-(*  GNU Lesser General Public License for more details.                   *)
-(*                                                                        *)
-(*  See the GNU Lesser General Public License version 2.1                 *)
-(*  for more details (enclosed in the file licenses/LGPLv2.1).            *)
-(*                                                                        *)
-(**************************************************************************)
-
-(* Fake Module for Frama-C / Gui *)