Fixed minor issue.

1 files changed, 1 insertions, 1 deletions

diff --git a/Source/VCGeneration/VC.cs b/Source/VCGeneration/VC.cs
index 45ce6a02..560f55b4 100644
--- a/Source/VCGeneration/VC.cs
+++ b/Source/VCGeneration/VC.cs
@@ -521,7 +521,7 @@ namespace VC {
       readonly List<Block> big_blocks = new List<Block>();

       readonly Dictionary<Block/*!*/, BlockStats/*!*/>/*!*/ stats = new Dictionary<Block/*!*/, BlockStats/*!*/>();

       readonly int id;

-      static int current_id;

+      static int current_id = -1;

       Block split_block;

       bool assert_to_assume;

       List<Block/*!*/>/*!*/ assumized_branches = new List<Block/*!*/>();