Fixed minor issue.

1 files changed, 4 insertions, 1 deletions

diff --git a/Source/VCGeneration/ConditionGeneration.cs b/Source/VCGeneration/ConditionGeneration.cs
index 4a85005e..8f4ac550 100644
--- a/Source/VCGeneration/ConditionGeneration.cs
+++ b/Source/VCGeneration/ConditionGeneration.cs
@@ -1496,7 +1496,10 @@ namespace VC {
           cmd.Emit(tokTxtWr, 0);

           Console.Out.WriteLine("  >>> {0}", action);

         }

-        Interlocked.Increment(ref CachingActionCounts[(int)action]);

+        if (CachingActionCounts != null)

+        {

+          Interlocked.Increment(ref CachingActionCounts[(int)action]);

+        }

       }

     }