03/04: gnu: coq-flocq: remove unnecessary return values

[guix-commits]

civodul pushed a commit to branch master
in repository guix.

commit 718d358a7297c6f101ca320818ce2206a3ad893f
Author: Dan Frumin <address@hidden>
Date:   Fri Mar 15 13:16:24 2019 +0100

    gnu: coq-flocq: remove unnecessary return values
    
    * gnu/packages/coq.scm (coq-flocq)[arguments]: Add unnecessary return
    values after 'invoke' calls.
    
    Signed-off-by: Ludovic Courtès <address@hidden>
---
 gnu/packages/coq.scm | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/gnu/packages/coq.scm b/gnu/packages/coq.scm
index 83f5cd2..bdf1576 100644
--- a/gnu/packages/coq.scm
+++ b/gnu/packages/coq.scm
@@ -211,18 +211,15 @@ provers.")
              #t))
          (replace 'build
            (lambda _
-             (invoke "./remake")
-             #t))
+             (invoke "./remake")))
          (replace 'check
            (lambda _
-             (invoke "./remake" "check")
-             #t))
+             (invoke "./remake" "check")))
              ;; TODO: requires coq-gappa and coq-interval.
              ;(invoke "./remake" "check-more")
          (replace 'install
            (lambda _
-             (invoke "./remake" "install")
-             #t)))))
+             (invoke "./remake" "install"))))))
     (home-page "http://flocq.gforge.inria.fr/";)
     (synopsis "Floating-point formalization for the Coq system")
     (description "Flocq (Floats for Coq) is a floating-point formalization for