diff options
author | MichalMoskal <unknown> | 2010-10-12 18:27:52 +0000 |
---|---|---|
committer | MichalMoskal <unknown> | 2010-10-12 18:27:52 +0000 |
commit | 540a44898edd1587063b7ce6b15a588bb272bc28 (patch) | |
tree | ded8f13a52837ba4112d5bfdd46234f44be00520 /Source/VCGeneration/ConditionGeneration.cs | |
parent | 34e754445e5e8a4ec5c4d0ec55a2fb4d9c80d9ae (diff) |
Add interfaces for langauge providers. Start with VCC provider.
Diffstat (limited to 'Source/VCGeneration/ConditionGeneration.cs')
-rw-r--r-- | Source/VCGeneration/ConditionGeneration.cs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs index addb92de..0d40bc21 100644 --- a/Source/VCGeneration/ConditionGeneration.cs +++ b/Source/VCGeneration/ConditionGeneration.cs @@ -1559,6 +1559,7 @@ namespace VC { // global variables
foreach (Declaration d in program.TopLevelDeclarations) {
+ if (d is Constant) continue;
if (d is Variable) {
AllVariables.Add((Variable)d);
}
|