From 68acc9698d0f6cdff0c2c6d1ea3b622916009f71 Mon Sep 17 00:00:00 2001
From: Richard Kreckel <Richard.Kreckel@uni-mainz.de>
Date: Sat, 25 Dec 1999 21:08:16 +0000
Subject: [PATCH] - some indentation fixes

---
 check/main.cpp | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/check/main.cpp b/check/main.cpp
index 0171e9c5..cf363983 100644
--- a/check/main.cpp
+++ b/check/main.cpp
@@ -46,7 +46,7 @@ int main()
         }
     } catch (exception const & e) {
         cout << "error: caught an exception: " << e.what() << endl;
-		result++;
+        result++;
     }
     
     if (result) {
-- 
2.49.0