bug fix in error trace printing

1 files changed, 3 insertions, 3 deletions

diff --git a/Source/Concurrency/YieldTypeChecker.cs b/Source/Concurrency/YieldTypeChecker.cs
index 5047bd5f..a848ebeb 100644
--- a/Source/Concurrency/YieldTypeChecker.cs
+++ b/Source/Concurrency/YieldTypeChecker.cs
@@ -60,12 +60,12 @@ namespace Microsoft.Boogie
 

         public string PrintErrorTrace(Automaton<BvSet> errorAutomaton)

         {

-            String s = "\n Body of " + impl.Proc.Name + " is not yield_type_safe at phase " + currPhaseNum.ToString() + "\nError Trace {" + "\n";

+            String s = "\nBody of " + impl.Proc.Name + " is not yield_type_safe at phase " + currPhaseNum.ToString() + "\n";

             foreach (var move in errorAutomaton.GetMoves())

             {

-                s += " [Line :" + nodeToAbsy[move.SourceState].Line.ToString() + "] , [Cmd :" + nodeToAbsy[move.SourceState].ToString() + " ]" + " \n";

+                IToken tok = nodeToAbsy[move.SourceState].tok;

+                s += string.Format("{0}({1}, {2})\n", tok.filename, tok.line, tok.col);

             }

-            s += "}";

             return s;

         }