diff options
| -rw-r--r-- | chapter05/src/main/java/com/seaofnodes/simple/type/Type.java | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/chapter05/src/main/java/com/seaofnodes/simple/type/Type.java b/chapter05/src/main/java/com/seaofnodes/simple/type/Type.java index 2179d3db..d0916312 100644 --- a/chapter05/src/main/java/com/seaofnodes/simple/type/Type.java +++ b/chapter05/src/main/java/com/seaofnodes/simple/type/Type.java @@ -45,4 +45,8 @@ public class Type { public Type meet(Type other) { return BOTTOM; } + @Override + public final String toString() { + return _print(new StringBuilder()).toString(); + } } |