search

delcypher / freeboogie

Automatically exported from code.google.com/p/freeboogie
0 stars 1 forks source link

parse <: properly #37

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
At the moment the operator <: is parsed as in Boogie 1 and not interpreted
properly. It should be parsed as in Boogie 2, at least.

Original issue reported on code.google.com by radugrig...@gmail.com on 26 Aug 2009 at 2:37