Fix remote API test

GaloisInc · Feb 25, 2025 · ab2103d · ab2103d
1 parent 66b61a3
commit ab2103d
Showing 1 changed file with 1 addition and 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
@@ -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'], [])