try fix test

dafny-lang · Oct 17, 2024 · f6d6f60 · f6d6f60
1 parent 804aa4c
commit f6d6f60
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/...ests/TestFiles/LitTests/LitTest/logger/ProofDependencies.dfy_combined_limited.html.expect b/...ests/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