diff options
| author | Dan Frumin <dfrumin@cs.ru.nl> | 2019-03-15 13:16:24 +0100 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2019-03-19 11:30:34 +0100 |
| commit | 718d358a7297c6f101ca320818ce2206a3ad893f (patch) | |
| tree | b1f80718275dedaa5ead782e21b1e4a0e4e8cc30 /tests/records.scm | |
| parent | 6c5e618ca004d3714d9de7676f2a984735bfe17b (diff) | |
| download | patches-718d358a7297c6f101ca320818ce2206a3ad893f.tar patches-718d358a7297c6f101ca320818ce2206a3ad893f.tar.gz | |
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 <ludo@gnu.org>
Diffstat (limited to 'tests/records.scm')
0 files changed, 0 insertions, 0 deletions