F diff --git a/src/semantics/value/type.c b/src/semantics/value/type.c --- a/src/semantics/value/type.c +++ b/src/semantics/value/type.c}else if(type_is_basic(type)){return ((struct Type_Basic*)type)->is_const;- }else+ }else if(type->specifier==TS_POINTER){+ return ((struct Type_Pointer*)type)->is_const;+ }else{return 0;}}