diff options
| author |  stefanheule <unknown> | 2012-02-25 03:14:09 -0800 |
|---|---|---|
| committer | stefanheule <unknown> | 2012-02-25 03:14:09 -0800 |
| commit | 879aa8013412a3ac9eb938ec92a1e6d504ca73b4 (patch) | |
| tree | 0f43a221e0c8b64416b919c13784224919283bdb /Chalice/src/main/scala/Translator.scala | |
| parent | 5e50a91ec86764c48fa710bcc36fcdd84ad6e135 (diff) | |
Chalice: index error
Diffstat (limited to 'Chalice/src/main/scala/Translator.scala')
| -rw-r--r-- | Chalice/src/main/scala/Translator.scala | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Chalice/src/main/scala/Translator.scala b/Chalice/src/main/scala/Translator.scala index d1f26c22..b2cb026f 100644 --- a/Chalice/src/main/scala/Translator.scala +++ b/Chalice/src/main/scala/Translator.scala @@ -1444,7 +1444,7 @@ class ExpressionTranslator(val globals: Globals, preGlobals: Globals, val fpi: F new Boogie.BVar(prefix + CreditsName, tcredits, true) ::
Nil
val es = vs map {v => new Boogie.VarExpr(v)}
- (vs, Globals(es(1), es(2), es(3), es(4)))
+ (vs, Globals(es(0), es(1), es(2), es(3)))
}
def FromPreGlobals(pg: Globals) = {
|