diff options
author | 2011-04-28 13:18:03 -0700 | |
---|---|---|
committer | 2011-04-28 13:18:03 -0700 | |
commit | 196dfe4a2c9c003f682399a08ecd9eb7c830c718 (patch) | |
tree | d61dda7294452809fb128c60062746675fc9b6db /.gitignore | |
parent | ce854d6791a888ebf65bea3c45f2eed15ece609e (diff) |
Add a method to the Sink that is responsible for creating a Boogie expression
representing the default value for a type. All clients that need to create
a default value should use this.
Diffstat (limited to '.gitignore')
0 files changed, 0 insertions, 0 deletions