string2array.h

Go to the documentation of this file.

#ifndef CPROVER_STRING2ARRAY_H
#define CPROVER_STRING2ARRAY_H
 
#include <util/irep/expr.h>
 
void string2array(const exprt &src, exprt &dest);
 
#endif