tcsh problem

Hi,

I'm having a problem getting my terminal history working, I have the following set in my .cshrc file:

set history=40
set savehist=40
set histfile=~/.tcsh_history

but NO information is being wrote to tcsh_history???

Info:
OS - FC14
-rw------- tcsh_history
Shell: /bin/tcsh

Thanks,
Mike

---------- Post updated at 12:32 AM ---------- Previous update was at 12:17 AM ----------

Sorry for the post, I think I just fixed the problem:

set savehist= (40 merge)