#ifndef STORM_ARRAY_POINTER_TO_CHAR_H
#define STORM_ARRAY_POINTER_TO_CHAR_H

#include "system/types.h"

#include "storm/array.h"

typedef char* pointer_to_char;

STORM_TS_GROWABLE_ARRAY(pointer_to_char);

#endif