From e2d78d7b3314104d681be8ba07427a2cbfa12824 Mon Sep 17 00:00:00 2001
From: Federico Igne <federico.igne@cs.ox.ac.uk>
Date: Thu, 19 May 2022 15:03:42 +0100
Subject: fix(cli): handle empty list of arguments for some CLI flags

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

diff --git a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala
index 57c4f05..32460b4 100644
--- a/src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala
+++ b/src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala
@@ -196,12 +196,12 @@ object RSAConfig {
       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 'approximation => Logger print s"Applied approximation: ${v.get[Symbol].name}"
-- 
cgit v1.2.3