From f6d6f60c73f216d9009ded2fb4f2ab740daa10f6 Mon Sep 17 00:00:00 2001
From: Fabio Madge <fmadge@amazon.com>
Date: Thu, 17 Oct 2024 12:38:42 +0200
Subject: [PATCH] try fix test

---
 .../logger/ProofDependencies.dfy_combined_limited.html.expect    | 1 +
 1 file changed, 1 insertion(+)

diff --git a/Source/IntegrationTests/TestFiles/LitTests/LitTest/logger/ProofDependencies.dfy_combined_limited.html.expect b/Source/IntegrationTests/TestFiles/LitTests/LitTest/logger/ProofDependencies.dfy_combined_limited.html.expect
index 910cc8a5da..1f42fd81ba 100644
--- a/Source/IntegrationTests/TestFiles/LitTests/LitTest/logger/ProofDependencies.dfy_combined_limited.html.expect
+++ b/Source/IntegrationTests/TestFiles/LitTests/LitTest/logger/ProofDependencies.dfy_combined_limited.html.expect
@@ -454,6 +454,7 @@ method {:testEntry} ObviouslyUnreachableMatchStatementCaseMethod(t: T) returns (
 
 </span><span class="na" id="438:1">class C {
   var x: int
+  constructor() {}
 }
 
 function {:testEntry} GetX(c: C): int