From 471bfd72d5c49ae66f0c64504e5eacc006f083f1 Mon Sep 17 00:00:00 2001
From: tabarbe <unknown>
Date: Wed, 4 Aug 2010 21:52:41 +0000
Subject: Boogie: Removed trailing spaces in code

---
 Source/Graph/Graph.ssc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/Graph')

diff --git a/Source/Graph/Graph.ssc b/Source/Graph/Graph.ssc
index dcbd12a3..12f7fd8c 100644
--- a/Source/Graph/Graph.ssc
+++ b/Source/Graph/Graph.ssc
@@ -435,7 +435,7 @@ public class Graph<Node> {
       }
       // mark root so it won't be used again
       incomingEdges[rootIndex] = -1;
-      Node root = numberToNode[rootIndex].Val; 
+      Node root = numberToNode[rootIndex].Val;
       sorted.Add(root);
       ++sortedIndex;
       foreach (Node s in this.Successors(root)){
-- 
cgit v1.2.3