From c2bf17cc5a5982881d30e82eeee740cdec574f8e Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Loi=CC=88c=20Correnson?= <loic.correnson@cea.fr>
Date: Fri, 13 Sep 2019 09:45:16 +0200
Subject: [PATCH] [wp/alt-ergo] fix install for ArcTrigo

---
 src/plugins/wp/share/Makefile.resources | 1 -
 1 file changed, 1 deletion(-)

diff --git a/src/plugins/wp/share/Makefile.resources b/src/plugins/wp/share/Makefile.resources
index 4c153ff6007..17399b03db4 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 	\
-- 
GitLab