From ab2103da708a9fdf795b352b02692d64debbe7a4 Mon Sep 17 00:00:00 2001 From: Iavor Diatchki Date: Tue, 25 Feb 2025 09:21:23 -0800 Subject: [PATCH] Fix remote API test --- cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py b/cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py index 09392e057..794589762 100644 --- a/cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py +++ b/cryptol-remote-api/python/tests/cryptol/test_cryptol_api.py @@ -305,7 +305,7 @@ def test_param_mod(self): with self.assertRaises(ArgoException) as res: check('`(w)') e = res.exception - self.assertEqual(e.data['type parameters'], ['Param::Param__parameter::w']) + self.assertEqual(e.data['type parameters'], ['Param::w']) self.assertEqual(e.data['definitions'], [])