diff options
Diffstat (limited to 'test/files/run/t3507.check')
| -rw-r--r-- | test/files/run/t3507.check | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/test/files/run/t3507.check b/test/files/run/t3507.check index 50ab029592..6e4fa4170e 100644 --- a/test/files/run/t3507.check +++ b/test/files/run/t3507.check @@ -1 +1 @@ -ConcreteTypeTag[_1.type#b.c.type]
+ConcreteTypeTag[_1.b.c.type]
|