diff options
author | 2012-02-25 03:14:09 -0800 | |
---|---|---|
committer | 2012-02-25 03:14:09 -0800 | |
commit | 879aa8013412a3ac9eb938ec92a1e6d504ca73b4 (patch) | |
tree | 0f43a221e0c8b64416b919c13784224919283bdb /Chalice/src | |
parent | 5e50a91ec86764c48fa710bcc36fcdd84ad6e135 (diff) |
Chalice: index error
Diffstat (limited to 'Chalice/src')
-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) = {
|