From 790bf7824a66d6ae7ff97faffe7addefbb0de995 Mon Sep 17 00:00:00 2001
From: David Cok <david.r.cok@gmail.com>
Date: Thu, 12 Jan 2023 11:22:29 -0500
Subject: [PATCH] Cok retry induction tests (#3307)

<small>By submitting this pull request, I confirm that my contribution
is made under the terms of the [MIT
license](https://github.com/dafny-lang/dafny/blob/master/LICENSE.txt).</small>

Co-authored-by: davidcok <davidcok@github.com>
---
 Source/IntegrationTests/LitTests.cs | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/Source/IntegrationTests/LitTests.cs b/Source/IntegrationTests/LitTests.cs
index a6e6d8c206f..3fb68deebbe 100644
--- a/Source/IntegrationTests/LitTests.cs
+++ b/Source/IntegrationTests/LitTests.cs
@@ -124,8 +124,7 @@ public LitTests(ITestOutputHelper output) {
 
     [FileTheory]
     [FileData(Includes = new[] { "**/*.dfy", "**/*.transcript" },
-              Excludes = new[] { "**/Inputs/**/*", "**/Output/**/*",
-                "examples/induction-principle-code/*"
+              Excludes = new[] { "**/Inputs/**/*", "**/Output/**/*"
               })]
     public void LitTest(string path) {
       LitTestCase.Run(path, Config, output);