diff --git a/src/protocol/ast_printer.rs b/src/protocol/ast_printer.rs
index 67f99b1686f2b8397b4f6e911ab8f9312f1feee1..73f14dfd7e8a3552f0106030101aff683ceca2d6 100644
--- a/src/protocol/ast_printer.rs
+++ b/src/protocol/ast_printer.rs
@@ -957,7 +957,7 @@ fn write_concrete_type(target: &mut String, heap: &Heap, def_id: DefinitionId, t
         match &t.parts[idx] {
             CTP::Void => target.push_str("void"),
             CTP::Message => target.push_str("msg"),
-            CTP::Bool => target.push_str("bool"),
+            CTP::Bool => target.push_str(KW_TYPE_BOOL_STR),
             CTP::UInt8 => target.push_str(KW_TYPE_UINT8_STR),
             CTP::UInt16 => target.push_str(KW_TYPE_UINT16_STR),
             CTP::UInt32 => target.push_str(KW_TYPE_UINT32_STR),
@@ -968,6 +968,7 @@ fn write_concrete_type(target: &mut String, heap: &Heap, def_id: DefinitionId, t
             CTP::SInt64 => target.push_str(KW_TYPE_SINT64_STR),
             CTP::Character => target.push_str(KW_TYPE_CHAR_STR),
             CTP::String => target.push_str(KW_TYPE_STRING_STR),
+            CTP::Pointer => target.push('*'),
             CTP::Array => {
                 idx = write_concrete_part(target, heap, def_id, t, idx + 1);
                 target.push_str("[]");