Index: src/typing.cc |
diff --git a/src/typing.cc b/src/typing.cc |
index 7a07f590be728456688a7446382026a8171b3898..98e6dc3e7841b0d573a825e0e54777c487729e4e 100644 |
--- a/src/typing.cc |
+++ b/src/typing.cc |
@@ -52,10 +52,8 @@ void AstTyper::Run(CompilationInfo* info) { |
static void PrintObserved(Variable* var, Object* value, Type* type) { |
OFStream os(stdout); |
os << " observed " << (var->IsParameter() ? "param" : "local") << " "; |
- var->name()->Print(); |
- os << " : "; |
- value->ShortPrint(); |
- os << " -> "; |
+ var->name()->Print(os); |
+ os << " : " << Brief(value) << " -> "; |
type->PrintTo(os); |
os << endl; |
} |