diff --git a/src/comp/util/ppaux.rs b/src/comp/util/ppaux.rs
index ec1b90572c0b..687546a4849e 100644
--- a/src/comp/util/ppaux.rs
+++ b/src/comp/util/ppaux.rs
@@ -95,6 +95,7 @@ fn mt_to_str(cx: ctxt, m: mt) -> 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) {