fixed another prettyprint string test failing
@@ -465,7 +465,7 @@ mod test {
assert_format_eq("{x: Bool, y: Bool, z: Bool}");
assert_format_eq("<a, b, c, d>");
- assert_format_eq("<tag1, tag2, tag3 | r>");
+ assert_format_eq("forall r. <tag1, tag2, tag3 | r>");
assert_format_eq("List");
assert_format_eq("List Num");
