% Copyright 1991 by Norman Ramsey.  All rights reserved.
% See file COPYRIGHT for more information.
<<header>>=
char *strsave (char *s);        /* returns a pointer to a fresh copy of s */
<<*>>=
#include <stdio.h>
#include <string.h>
#include <stdlib.h>
#include "strsave.h"
#include "errors.h"

char *strsave (char *s) {
	/* added cast to char*, FG Tue Mar 26 11:09:52 MEZ 1996 */
    char *t = (char*) malloc (strlen(s)+1);
    checkptr(t);
    strcpy(t,s);
    return t;
}
