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 /_admin | |
| 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 '_admin')
0 files changed, 0 insertions, 0 deletions