diff base/RealTimeSV.cpp @ 1429:48e9f538e6e9

Untabify

--- a/base/RealTimeSV.cpp	Thu Mar 01 14:43:40 2018 +0000
+++ b/base/RealTimeSV.cpp	Thu Mar 01 18:02:22 2018 +0000
@@ -169,9 +169,9 @@
 std::ostream &operator<<(std::ostream &out, const RealTime &rt)
 {
     if (rt < RealTime::zeroTime) {
-	out << "-";
+        out << "-";
     } else {
-	out << " ";
+        out << " ";
     }
 
     int s = (rt.sec < 0 ? -rt.sec : rt.sec);
@@ -182,8 +182,8 @@
     int nn(n);
     if (nn == 0) out << "00000000";
     else while (nn < (ONE_BILLION / 10)) {
-	out << "0";
-	nn *= 10;
+        out << "0";
+        nn *= 10;
     }
     
     out << n << "R";
@@ -314,24 +314,24 @@
     int ms = msec();
 
     if (ms != 0) {
-	out << ".";
-	out << (ms / 100);
-	ms = ms % 100;
-	if (ms != 0) {
-	    out << (ms / 10);
-	    ms = ms % 10;
-	} else if (fixedDp) {
-	    out << "0";
-	}
-	if (ms != 0) {
-	    out << ms;
-	} else if (fixedDp) {
-	    out << "0";
-	}
+        out << ".";
+        out << (ms / 100);
+        ms = ms % 100;
+        if (ms != 0) {
+            out << (ms / 10);
+            ms = ms % 10;
+        } else if (fixedDp) {
+            out << "0";
+        }
+        if (ms != 0) {
+            out << ms;
+        } else if (fixedDp) {
+            out << "0";
+        }
     } else if (fixedDp) {
-	out << ".000";
+        out << ".000";
     }
-	
+        
     std::string s = out.str();
 
     return s;
@@ -366,7 +366,7 @@
         out << d;
         div /= 10;
     }
-	
+        
     std::string s = out.str();
 
 //    cerr << "converted " << toString() << " to " << s << endl;