emergency commit
[cl-cudd.git] / distr / util / strsav.c
blob454e237c412f1718c6985285076046edf480b921
1 /* LINTLIBRARY */
3 #include <stdio.h>
4 #include "util.h"
7 /*
8 * util_strsav -- save a copy of a string
9 */
10 char *
11 util_strsav(char const *s)
13 return strcpy(ALLOC(char, strlen(s)+1), s);