1 files changed, 0 insertions, 11 deletions
diff --git a/test/golden/datatype/verification.golden b/test/golden/datatype/verification.golden
deleted file mode 100644
index f5e656e..0000000
--- a/test/golden/datatype/verification.golden
+++ /dev/null
@@ -1,11 +0,0 @@
-VerifiedWithTrustedVampire
-    ( VerificationReport
-        { verificationRoute = LegacyVerificationRoute
-        , verificationLegacyDeclaredAssumptionCount = 0
-        , verificationTypedDeclaredAssumptionCount = 0
-        , verificationTrustedVampireCount = 5
-        , verificationExplicitGapLocations = []
-        , verificationTrustedLegacyRuleCount = 10
-        , verificationKernelProofCount = 0
-        }
-    )
-\ No newline at end of file