- some indentation fixes
authorRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Sat, 25 Dec 1999 21:08:16 +0000 (21:08 +0000)
committerRichard Kreckel <Richard.Kreckel@uni-mainz.de>
Sat, 25 Dec 1999 21:08:16 +0000 (21:08 +0000)
check/main.cpp

index 0171e9c56de84dd0fff035d1b0c0f47d751d92a0..cf363983f2863802cb917d3e907552336bbde0c8 100644 (file)
@@ -46,7 +46,7 @@ int main()
         }
     } catch (exception const & e) {
         cout << "error: caught an exception: " << e.what() << endl;
-               result++;
+        result++;
     }
     
     if (result) {