diff --git a/tools/molck/main.cc b/tools/molck/main.cc index 8ffa3976580c24078737ffe5ea49388c8ca76d03..0e6c3a41d2c18ee4696de5e92592347fa02a45df 100644 --- a/tools/molck/main.cc +++ b/tools/molck/main.cc @@ -109,6 +109,7 @@ int main(int argc, char *argv[]) usage(); } IOProfile prof; + prof.fault_tolerant=true; String rm; String color; bool colored = false;