From 845676562fd8e0b9c99fd6e6f69b770fbc46e1ba Mon Sep 17 00:00:00 2001
From: Karl Palmskog <palmskog@gmail.com>
Date: Thu, 29 Dec 2016 22:50:18 -0600
Subject: [PATCH] fix buggy OPAM remove command

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

diff --git a/opam b/opam
index 5fde7cf..c898da4 100644
--- a/opam
+++ b/opam
@@ -10,7 +10,7 @@ license: "Proprietary"
 
 build: [ [ "./configure" ] [ make "-j%{jobs}%" ] ]
 install: [ make "install" ]
-remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/InfSeqExt" ]
+remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/InfSeqExt'" ]
 depends: [ "coq" {((>= "8.5" & < "8.6~") | (>= "8.6" & < "8.7~"))} ]
 
 tags: [ "keyword:temporal logic" "keyword:infinite transition systems" "keyword:coinduction" "category:Mathematics/Logic/Modal logic" ]