Deprecate readonly pointers for now

1 files changed, 0 insertions, 1 deletions

diff --git a/repl.c b/repl.c
index 5d5c4434..bd741165 100644
--- a/repl.c
+++ b/repl.c
@@ -136,7 +136,6 @@ const TypeInfo_t *type_to_type_info(type_t *t)
     case PointerType: {
         auto ptr = Match(t, PointerType);
         CORD sigil = ptr->is_stack ? "&" : "@";
-        if (ptr->is_readonly) sigil = CORD_cat(sigil, "%");
         const TypeInfo_t *pointed_info = type_to_type_info(ptr->pointed);
         const TypeInfo_t pointer_info = {.size=sizeof(void*), .align=__alignof__(void*),
             .tag=PointerInfo, .PointerInfo={.sigil=sigil, .pointed=pointed_info}};