diff --git a/cint/cint/src/input.cxx b/cint/cint/src/input.cxx index afcefe7c092752af298f2f40b642626bf5cdd5b7..39c865f4685c092763b16ee8571801ca59c1de6e 100644 --- a/cint/cint/src/input.cxx +++ b/cint/cint/src/input.cxx @@ -229,7 +229,7 @@ char *G__input(const char *prompt) /* memory parity checker can not handle the pointer malloced in readlie */ G__DUMMY_Free((void*)pchar); #else - free(pchar); + free((void*)pchar); #endif if(line[0]!='\0') { G__input_history(&state,line);