---

marijnh · marijnh · commit a4659d4da870 · 2012-01-02T15:42:13.000+01:00
yaml --- r: 7003 b: refs/heads/master c: cdd806d h: refs/heads/master i: 7001: 577a84f 6999: e3b4084 v: v3
diff --git a/[refs] b/[refs]
@@ -1,2 +1,2 @@
 ---
-refs/heads/master: 15be2fc73a4cbed9ac121a91b683812fd3cf1d8a
+refs/heads/master: cdd806d3248a702fb4d75f5134f0a7dff86710b6
diff --git a/trunk/src/comp/util/ppaux.rs b/trunk/src/comp/util/ppaux.rs
@@ -95,6 +95,7 @@ fn ty_to_str(cx: ctxt, typ: t) -> str {
       ty_str. { "str" }
       ty_box(tm) { "@" + mt_to_str(cx, tm) }
       ty_uniq(tm) { "~" + mt_to_str(cx, tm) }
+      ty_ptr(tm) { "*" + mt_to_str(cx, tm) }
       ty_vec(tm) { "[" + mt_to_str(cx, tm) + "]" }
       ty_type. { "type" }
       ty_rec(elems) {

Original file line number	Diff line number	Diff line change
`@@ -1,2 +1,2 @@`
`1`	`1`	`---`
`2`		`-refs/heads/master: 15be2fc73a4cbed9ac121a91b683812fd3cf1d8a`
	`2`	`+refs/heads/master: cdd806d3248a702fb4d75f5134f0a7dff86710b6`