diff options
Diffstat (limited to 'gnu/packages/cedille.scm')
| -rw-r--r-- | gnu/packages/cedille.scm | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/gnu/packages/cedille.scm b/gnu/packages/cedille.scm index d3dd576323..decaf25605 100644 --- a/gnu/packages/cedille.scm +++ b/gnu/packages/cedille.scm @@ -89,8 +89,7 @@ (add-after 'unpack 'copy-ial (lambda* (#:key inputs #:allow-other-keys) (copy-recursively - (string-append (assoc-ref inputs "agda-ial") - "/include/agda/ial") + (search-input-directory inputs "/include/agda/ial") "ial") ;; Ambiguous module if main is included from ial (delete-file "ial/main.agda") |