aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala
diff options
context:
space:
mode:
Diffstat (limited to 'src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala')
-rw-r--r--src/main/scala/uk/ac/ox/cs/rsacomb/RSAConfig.scala4
1 files 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 {
196 case 'data => { 196 case 'data => {
197 val paths = v.get[List[os.Path]] 197 val paths = v.get[List[os.Path]]
198 val ellipsis = if (paths.length > 1) " [...]" else "" 198 val ellipsis = if (paths.length > 1) " [...]" else ""
199 Logger print s"Data files: ${paths.head}$ellipsis" 199 Logger print s"Data files: ${paths.headOption.getOrElse("NONE")}$ellipsis"
200 } 200 }
201 case 'queries => { 201 case 'queries => {
202 val paths = v.get[List[os.Path]] 202 val paths = v.get[List[os.Path]]
203 val ellipsis = if (paths.length > 1) " [...]" else "" 203 val ellipsis = if (paths.length > 1) " [...]" else ""
204 Logger print s"Query files: ${paths.head}$ellipsis" 204 Logger print s"Query files: ${paths.headOption.getOrElse("NONE")}$ellipsis"
205 } 205 }
206 case 'answers => Logger print s"Path to answers: ${v.get[os.Path]}" 206 case 'answers => Logger print s"Path to answers: ${v.get[os.Path]}"
207 case 'approximation => Logger print s"Applied approximation: ${v.get[Symbol].name}" 207 case 'approximation => Logger print s"Applied approximation: ${v.get[Symbol].name}"