diff --git a/marchenko/fmute.c b/marchenko/fmute.c index f5c7668a16dc382b586c2981427888c6fa256f66..4882a0222d3bb436e280fcb042ce78fc51e1ebca 100644 --- a/marchenko/fmute.c +++ b/marchenko/fmute.c @@ -79,6 +79,7 @@ int main (int argc, char **argv) if(!getparstring("file_mute", &file_mute)) file_mute=NULL; if(!getparstring("file_shot", &file_shot)) file_shot=NULL; + assert(file_shot!=NULL); if(!getparstring("file_out", &file_out)) file_out=NULL; if(!getparint("ntmax", &ntmax)) ntmax = 1024; if(!getparint("nxmax", &nxmax)) nxmax = 512;