diff options
Diffstat (limited to 'Source/Core')
-rw-r--r-- | Source/Core/VariableDependenceAnalyser.cs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Source/Core/VariableDependenceAnalyser.cs b/Source/Core/VariableDependenceAnalyser.cs index 799a60de..fd69d911 100644 --- a/Source/Core/VariableDependenceAnalyser.cs +++ b/Source/Core/VariableDependenceAnalyser.cs @@ -210,7 +210,7 @@ namespace Microsoft.Boogie { Console.Write(v);
}
}
- Console.WriteLine("\n");
+ Console.WriteLine(); Console.WriteLine();
}
public void Analyse() {
|