Update Boogie to 2.9.4 (#1531)

Co-authored-by: Remy Willems <>
dafny-lang · Oct 22, 2021 · 3b53cc4 · 3b53cc4
1 parent bb504a0
commit 3b53cc4
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/Source/Directory.Build.props b/Source/Directory.Build.props
@@ -7,7 +7,7 @@
 
  <!-- Boogie dependency -->
  <ItemGroup>
- <PackageReference Include="Boogie.ExecutionEngine" Version="2.9.3" />
+ <PackageReference Include="Boogie.ExecutionEngine" Version="2.9.4" />
  </ItemGroup>
 
 </Project>
diff --git a/customBoogie.patch b/customBoogie.patch
@@ -124,7 +124,7 @@ index 4934fa8d..64a5a976 100644
 
  <!-- Boogie dependency -->
  <ItemGroup>
-- <PackageReference Include="Boogie.ExecutionEngine" Version="2.9.3" />
+- <PackageReference Include="Boogie.ExecutionEngine" Version="2.9.4" />
 + <ProjectReference Include="..\..\..\boogie\Source\ExecutionEngine\ExecutionEngine.csproj" />
  </ItemGroup>