From e4714f6a9334c321ebf8c29f576f6e35c290261f Mon Sep 17 00:00:00 2001
From: Cyril Cohen
Date: Sat, 12 Dec 2015 19:49:48 -0500
Subject: removing trailing whitespaces in opam file

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

(limited to 'mathcomp')

diff --git a/mathcomp/real_closed/opam b/mathcomp/real_closed/opam
index 59ebb95..d06f2e7 100644
--- a/mathcomp/real_closed/opam
+++ b/mathcomp/real_closed/opam
@@ -7,7 +7,7 @@ homepage: "http://ssr.msr-inria.inria.fr/"
 bug-reports: "Mathematical Components <mathcomp-dev@sympa.inria.fr>"
 license: "CeCILL-B"
 
-build: [ make "-j" "%{jobs}%" ] 
+build: [ make "-j" "%{jobs}%" ]
 install: [ make "install" ]
 remove: [ "sh" "-c" "rm -rf '%{lib}%/coq/user-contrib/mathcomp/real_closed'" ]
 depends: [ "coq-mathcomp-field" { = "dev" } ]
-- 
cgit v1.2.3