Do not check for a null pointer in the type printer, because we stopped using null...

[r28439]

diff --git a/type.c b/type.c
index 67aee76..8211f63 100644 (file)
--- a/type.c
+++ b/type.c
@@ -782,11 +782,6 @@ void print_type(const type_t *const type)
 void print_type_ext(const type_t *const type, const symbol_t *symbol,
                     const scope_t *parameters)
 {
-       if (type == NULL) {
-               print_string("nil type");
-               return;
-       }
-
        intern_print_type_pre(type);
        if (symbol != NULL) {
                print_string(" ");