fix(cli): pass data path to PAGOdA's properties

This is not the ideal way to deal with this an a more general
integration solution should be used. Regardless, it works for now.

1 files changed, 2 insertions, 1 deletions

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 ec550c2..5417b77 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
@@ -163,7 +163,7 @@ object AcquaConfig {
             os.walk(data).filter(os.isFile).toList
           }else
             exit(s"'${_data}' is not a valid path.")
-        parse(tail, config += ('data -> files))
+        parse(tail, config += ('data -> files) += ('pagodata -> _data))
       }
       case a => exit(s"Invalid sequence of arguments '${a.mkString(" ")}'.")
     }
@@ -201,6 +201,7 @@ object AcquaConfig {
       }
       case 'answers => Logger print s"Path to answers: ${v.get[os.Path]}"
       case 'transitive => Logger print s"Include property chain axioms: ${v.get[Boolean]}"
+      case _ => { }
     }}
   }
 }