From d0a5590b76fa64c9d1aa426ebd68f2f6278e37b6 Mon Sep 17 00:00:00 2001
From: Gabriel Studer <gabriel.studer@stud.unibas.ch>
Date: Fri, 13 Jul 2012 10:25:57 +0200
Subject: [PATCH] set fault_tolerant=true as default in molck
---
tools/molck/main.cc | 1 +
1 file changed, 1 insertion(+)
diff --git a/tools/molck/main.cc b/tools/molck/main.cc
index 8ffa39765..0e6c3a41d 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;
--
GitLab