From d7f9ea2a84af385ac5cf7d067a015573bfe53517 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Wed, 18 May 2022 15:27:18 +0100
Subject: fix(cli): handling of empty argument lists

---
 src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'src/main/scala')

diff --git a/src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala b/src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala
index 990afb2..ec550c2 100644
--- a/src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala
+++ b/src/main/scala/uk/ac/ox/cs/acqua/util/AcquaConfig.scala
@@ -192,12 +192,12 @@ object AcquaConfig {
       case 'data => {
         val paths = v.get[List[os.Path]]
         val ellipsis = if (paths.length > 1) " [...]" else "" 
-        Logger print s"Data files: ${paths.head}$ellipsis"
+        Logger print s"Data files: ${paths.headOption.getOrElse("NONE")}$ellipsis"
       }
       case 'queries => {
         val paths = v.get[List[os.Path]]
         val ellipsis = if (paths.length > 1) " [...]" else "" 
-        Logger print s"Query files: ${paths.head}$ellipsis"
+        Logger print s"Query files: ${paths.headOption.getOrElse("NONE")}$ellipsis"
       }
       case 'answers => Logger print s"Path to answers: ${v.get[os.Path]}"
       case 'transitive => Logger print s"Include property chain axioms: ${v.get[Boolean]}"
-- 
cgit v1.2.3