On 26/02/2016 11:23, Nicolai Hess wrote:
can you use symbols only for pragma arguments, please.<contract: #invariant> instead of <contract: invariant> I am about to change rbparser to only allow constant literal arguments
Yes, no problem I noticed it worked but was not sure it was right thank you for pointing that
