diff options
author | Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com> | 2011-04-28 13:18:03 -0700 |
---|---|---|
committer | Unknown <mbarnett@MBARNETT-LAP2.redmond.corp.microsoft.com> | 2011-04-28 13:18:03 -0700 |
commit | 196dfe4a2c9c003f682399a08ecd9eb7c830c718 (patch) | |
tree | d61dda7294452809fb128c60062746675fc9b6db /Source | |
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 'Source')
0 files changed, 0 insertions, 0 deletions