Brackets do not match in verification shows nothing in terminal

[wmanshu]

  public func approve(spender: Address, value: Int)
  mutates (allowances)
  post (value >= 0 ==> allowances[caller][spender] == value)
  post (value >= 0 ==> forall (a1, Address, dictContains(allowances, a1) ==> forall(a2, Address, dictContains(allowances[a1], a2) ==> allowances[a1][a2] == prev(allowances[a1][a2]) || (a1 == caller && a2 == spender)))
  {
    allowances[caller][spender] = value
  }

In this example, I'm missing a bracket at the end of the second post condition.
But, when compiling this in terminal, it just flashes. There's no error message and Nothing is shown, not even the contract is not verified

file: erc_20_token.flint

[wmanshu]