From 7780c22d12484785f480057df9f3396a52fb19f5 Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sat, 26 Dec 2015 19:41:21 +0100
Subject: removing mathcomp dir when removing ssreflect

---
 mathcomp/ssreflect/opam | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'mathcomp')

diff --git a/mathcomp/ssreflect/opam b/mathcomp/ssreflect/opam
index af89440..2f6fbdf 100644
--- a/mathcomp/ssreflect/opam
+++ b/mathcomp/ssreflect/opam
@@ -9,7 +9,7 @@ license: "CeCILL-B"
 
 build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
-remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/ssreflect'" ]
+remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp'" ]
 depends: [ "coq" { ( >= "8.4pl4" & < "8.5" ) | ( = "8.5.dev" ) | ( = "dev")} ]
 
 tags: [ "keyword:small scale reflection" "keyword:mathematical components" "keyword:odd order theorem" ]
-- 
cgit v1.2.3