diff options
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.scala | 4 |
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}" |