From 47ab7838789d58dbda038d3ded69b840528de7f2 Mon Sep 17 00:00:00 2001
From: mikebarnett <unknown>
Date: Thu, 3 Mar 2011 00:55:20 +0000
Subject: Made it unnecessary to set the types on the Boogie ASTs as we create
 them. Added support for string literals. Translating structs no longer
 crashes the translator, but on the other hand, they are just skipped and not
 translated... Added a helper method to make sure that generated identifiers
 are Boogie-legal.

---
 BCT/BytecodeTranslator/StatementTraverser.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'BCT/BytecodeTranslator/StatementTraverser.cs')

diff --git a/BCT/BytecodeTranslator/StatementTraverser.cs b/BCT/BytecodeTranslator/StatementTraverser.cs
index be104448..bff181c5 100644
--- a/BCT/BytecodeTranslator/StatementTraverser.cs
+++ b/BCT/BytecodeTranslator/StatementTraverser.cs
@@ -113,7 +113,7 @@ namespace BytecodeTranslator
       StatementTraverser thenTraverser = this.factory.MakeStatementTraverser(this.sink, this.PdbReader);
       StatementTraverser elseTraverser = this.factory.MakeStatementTraverser(this.sink, this.PdbReader);
 
-      ExpressionTraverser condTraverser = this.factory.MakeExpressionTraverser(this.sink, null);
+      ExpressionTraverser condTraverser = this.factory.MakeExpressionTraverser(this.sink, this);
       condTraverser.Visit(conditionalStatement.Condition);
       thenTraverser.Visit(conditionalStatement.TrueBranch);
       elseTraverser.Visit(conditionalStatement.FalseBranch);
-- 
cgit v1.2.3