From 92a041233cc148fcfce2eccb43ae98a9b970de25 Mon Sep 17 00:00:00 2001
From: Alasdair
Date: Fri, 1 Nov 2019 01:49:13 +0000
Subject: Add a missing well-formedness check

---
 test/typecheck/pass/existential_ast/v3.expect | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'test/typecheck')

diff --git a/test/typecheck/pass/existential_ast/v3.expect b/test/typecheck/pass/existential_ast/v3.expect
index e2823692..ca83adb9 100644
--- a/test/typecheck/pass/existential_ast/v3.expect
+++ b/test/typecheck/pass/existential_ast/v3.expect
@@ -3,5 +3,5 @@ Type error:
 26 |  Some(Ctor1(a, x, c))
    |       ^------------^
    | Could not resolve quantifiers for Ctor1
-   | * datasize('ex270#)
+   | * datasize('ex273#)
    | 
-- 
cgit v1.2.3