@@ -296,8 +296,7 @@ testFamiliesData = [
296296 ( 7, C_CG )]),
297297 ("unique", "Uniqueness types",
298298 [ ( 1, ANY ),
299− ( 2, ANY ),
300− ( 3, ANY )]),
299+ ( 4, ANY )]),
301300 ("universes", "Universes",
302301 [ ( 1, ANY ),
303302 ( 2, ANY )]),