From 0d82fe57a792b4b68826a9b0c72cf386052f1ff0 Mon Sep 17 00:00:00 2001
From: wuestholz <unknown>
Date: Sun, 3 Aug 2014 13:42:36 +0200
Subject: Minor refactoring

---
 Source/ExecutionEngine/ExecutionEngine.cs | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Source/ExecutionEngine/ExecutionEngine.cs')

diff --git a/Source/ExecutionEngine/ExecutionEngine.cs b/Source/ExecutionEngine/ExecutionEngine.cs
index 05c4b44b..a9220a4c 100644
--- a/Source/ExecutionEngine/ExecutionEngine.cs
+++ b/Source/ExecutionEngine/ExecutionEngine.cs
@@ -1066,7 +1066,7 @@ namespace Microsoft.Boogie
       {
         #region Verify the implementation
 
-        verificationResult = new VerificationResult(requestId, impl.Checksum, impl.DependenciesChecksum, impl.Name, impl.tok, programId);
+        verificationResult = new VerificationResult(requestId, impl.Checksum, impl.DependencyChecksum, impl.Name, impl.tok, programId);
 
         using (var vcgen = CreateVCGen(program, checkers))
         {
-- 
cgit v1.2.3