- some indentation fixes
[ginac.git] / 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;
         }
     } catch (exception const & e) {
         cout << "error: caught an exception: " << e.what() << endl;
-               result++;
+        result++;
     }
     
     if (result) {
     }
     
     if (result) {