Skip to content

Commit

Permalink
Fixed small bugs related to configuraiton
Browse files Browse the repository at this point in the history
  • Loading branch information
jhnaldo committed Sep 4, 2019
1 parent fed482f commit d472ff2
Showing 1 changed file with 2 additions and 1 deletion.
3 changes: 2 additions & 1 deletion src/main/scala/kr/ac/kaist/safe/Safe.scala
Original file line number Diff line number Diff line change
Expand Up @@ -24,7 +24,8 @@ object Safe {
def main(tokens: Array[String]): Unit = {
(tokens.toList match {
case str :: args => cmdMap.get(str) match {
case Some(cmd) => cmd(s"-config=$CONFIG_FILE" :: args, false)
case Some(CmdAnalyze) => CmdAnalyze(s"-config=$CONFIG_FILE" :: args, false)
case Some(cmd) => cmd(args, false)
case None => Failure(NoCmdError(str))
}
case Nil => Failure(NoInputError)
Expand Down

0 comments on commit d472ff2

Please sign in to comment.