From 99737bee84e43094394d8827bf5fd50dd1304aec Mon Sep 17 00:00:00 2001 From: wuestholz Date: Tue, 23 Jul 2013 17:51:02 -0700 Subject: Resolved some issues with data races. --- Source/Core/AbsyExpr.cs | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) (limited to 'Source/Core/AbsyExpr.cs') diff --git a/Source/Core/AbsyExpr.cs b/Source/Core/AbsyExpr.cs index 70ce610d..792262d3 100644 --- a/Source/Core/AbsyExpr.cs +++ b/Source/Core/AbsyExpr.cs @@ -1588,14 +1588,14 @@ namespace Microsoft.Boogie { case Opcode.Neq: if (arg0.Type != null && arg0.Type.IsBool && arg1.Type != null && arg1.Type.IsBool) { expr.Fun = new BinaryOperator(tok, Opcode.Iff); - arg1 = new NAryExpr(expr.tok, new UnaryOperator(tok, UnaryOperator.Opcode.Not), new List { arg1 }); + var arg1New = new NAryExpr(expr.tok, new UnaryOperator(tok, UnaryOperator.Opcode.Not), new List { arg1 }); // ugly ... there should be some more general approach, // e.g., to typecheck the whole expression again - arg1.Type = Type.Bool; - ((NAryExpr)arg1).TypeParameters = SimpleTypeParamInstantiation.EMPTY; + arg1New.Type = Type.Bool; + arg1New.TypeParameters = SimpleTypeParamInstantiation.EMPTY; - expr.Args[1] = arg1; + expr.Args[1] = arg1New; } break; } -- cgit v1.2.3