diff options
author | 2011-04-28 13:18:03 -0700 | |
---|---|---|
committer | 2011-04-28 13:18:03 -0700 | |
commit | 196dfe4a2c9c003f682399a08ecd9eb7c830c718 (patch) | |
tree | d61dda7294452809fb128c60062746675fc9b6db /.hgignore | |
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 '.hgignore')
-rw-r--r-- | .hgignore | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -4,7 +4,7 @@ syntax: regexp ^(Source|BCT|Jennisys)/.*\.(user|suo|cache)$
^Source/(Core|Dafny)/(Parser|Scanner).cs.old$
^Binaries/.*\.(dll|pdb|exe|manifest|config)$
-^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked)/.*$
+^.*(bin|obj)/([^/]*/)?(Debug|Release|Checked|Debug All|DEBUG ALL)/.*$
^Binaries/BytecodeTranslator$
^BCT/Binaries/.*$
Test/([^/]*)/Output
|