[tools: Make indentation more consistent.
Vladimir Still <xstill@fi.muni.cz>**20131120184408
 Ignore-this: 6dbeaf0a829bb72f142e0bb4e7d06447
] hunk ./tools/divine.cpp 233
-                                      "<input>",
-                                      "convert state-space to explicit representation" );
+                                          "<input>",
+                                          "convert state-space to explicit representation" );
hunk ./tools/divine.cpp 253
-                "text (stdout, human readable),\n"
-                "text:<filename> (text into file),\n"
-                "plain (stdout, same as text but without empty lines),\n"
-                "plain:<filename> (plain into file),\n"
-                "sql:<table>:<ODBC connection string> (write report to database -- see manual for details)" );
+            "text (stdout, human readable),\n"
+            "text:<filename> (text into file),\n"
+            "plain (stdout, same as text but without empty lines),\n"
+            "plain:<filename> (plain into file),\n"
+            "sql:<table>:<ODBC connection string> (write report to database -- see manual for details)" );
hunk ./tools/divine.cpp 319
-                "mpi", 0, "mpi", "",
-                "Force use of MPI (in case it is not detected properly)" );
+            "mpi", 0, "mpi", "",
+            "Force use of MPI (in case it is not detected properly)" );
hunk ./tools/divine.cpp 534
-        throw wibble::exception::OutOfRange( "compression", "'" + s + "' is not a known compression type" ); // TODO: allowed
+        throw wibble::exception::OutOfRange( "compression", "'" + s
+                + "' is not a known compression type" ); // TODO: allowed
hunk ./tools/divine.cpp 542
-        throw wibble::exception::OutOfRange( "demangle", "'" + s + "' is not supported demangle style [available = none, cpp]" );
+        throw wibble::exception::OutOfRange( "demangle", "'" + s
+                + "' is not supported demangle style [available = none, cpp]" );