search

rgrig / freeboogie

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

dump types #71

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
-dis should (also) dump types, like -annot in OCaml

Original issue reported on code.google.com by radugrig...@gmail.com on 1 May 2011 at 12:33