Resolved in r16591.

(Added tests as well as code to throw exception for bare quantifiers.)

Thanks!

Pm

Reply via email to