19#ifndef __CVC4__LIB__STRTOK_R_H
20#define __CVC4__LIB__STRTOK_R_H
29#include "lib/replacements.h"
35char*
strtok_r(
char *str,
const char *delim,
char **saveptr);
Macros that should be defined everywhere during the building of the libraries and driver binary,...
char * strtok_r(char *str, const char *delim, char **saveptr)