diff --git a/src/plugins/wp/share/Makefile.resources b/src/plugins/wp/share/Makefile.resources
index 4c153ff60070b9b23a2ad5e5833375629a4f1f2e..17399b03db40b234f061ebfec038995ea45d12c7 100644
--- a/src/plugins/wp/share/Makefile.resources
+++ b/src/plugins/wp/share/Makefile.resources
@@ -27,7 +27,6 @@
 ## Used in share/why3
 
 WHY3_LIBS_CEA:=	\
- ArcTrigo.mlw   \
  cbits.mlw 	\
  cint.mlw 	\
  cfloat.mlw 	\