1 files changed, 0 insertions, 3 deletions
diff --git a/opam b/opam
index 77df4612..8b0bd376 100644
--- a/opam
+++ b/opam
@@ -20,9 +20,6 @@ license: "BSD3"
 dev-repo: "git+https://github.com/rems-project/sail.git"
 build: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "isail"]
 install: [make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "install"]
-remove: [
-  make "INSTALL_DIR=%{prefix}%" "SHARE_DIR=%{sail:share}%" "uninstall"
-]
 depends: [
   "ocaml" {>= "4.06.1"}
   "ocamlfind" {build}