diff options
| author |  qadeer <qadeer@microsoft.com> | 2011-08-17 09:24:28 -0700 |
|---|---|---|
| committer | qadeer <qadeer@microsoft.com> | 2011-08-17 09:24:28 -0700 |
| commit | fb23eb40279252804d9c5d9b642b8be137d1e1ef (patch) | |
| tree | a71c4eadeac7d60dbe46d8a46c239e762e907d8d /Source/VCGeneration | |
| parent | 88aa33c40ee1cde79fc5b51ab2197da89eb1ddd7 (diff) | |
minor refactoring
Diffstat (limited to 'Source/VCGeneration')
| -rw-r--r-- | Source/VCGeneration/VC.cs | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs index 51bdb033..79fdaaa2 100644 --- a/Source/VCGeneration/VC.cs +++ b/Source/VCGeneration/VC.cs @@ -164,8 +164,9 @@ namespace VC { for (int i = 0; i < CommandLineOptions.Clo.ProcedureCopyBound; i++) {
interfaceVarCopies.Add(new List<Variable>());
foreach (Variable v in interfaceVars) {
- interfaceVarCopies[i].Add(
- new Constant(Token.NoToken, new TypedIdent(Token.NoToken, v.Name + temp++, v.TypedIdent.Type)));
+ Constant constant = new Constant(Token.NoToken, new TypedIdent(Token.NoToken, v.Name + temp++, v.TypedIdent.Type));
+ interfaceVarCopies[i].Add(constant);
+ //program.TopLevelDeclarations.Add(constant);
}
}
}
|