Changeset 806c18 in git for factory/debug.cc

Timestamp:

Nov 15, 2010, 4:34:57 PM (13 years ago)

Author:

Hans Schoenemann <hannes@…>

Branches:

(u'jengelh-datetime', 'ceac47cbc86fe4a15902392bdbb9bd2ae0ea02c6')(u'spielwiese', '00e2e9c41af3fde1273eb3633f4c0c7c3db2579d')

Children:

7c3bca08c96331a56864c1d35b8c2e8ff2e0be89

Parents:

c840d97af622b4e4da8761738b540e21144f716b

Message:

format

git-svn-id: file:///usr/local/Singular/svn/trunk@13655 2c84dea3-7e68-4137-9b89-c4e89433aadc

File:

• factory/debug.cc (modified) (2 diffs)

factory/debug.cc

@@ -11 +11 @@
     // deb_level == -1 iff we enter this function for the first time
     if ( deb_level == -1 )
-        deb_level = 0;
+        deb_level = 0;
     else
-        delete [] deb_level_msg;
+        delete [] deb_level_msg;
 
     deb_level++;
     deb_level_msg = new char[3*deb_level+1];
     for ( i = 0; i < 3*deb_level; i++ )
-        deb_level_msg[i] = ' ';
+        deb_level_msg[i] = ' ';
     deb_level_msg[3*deb_level] = '\0';
 }
@@ -25 +25 @@
 {
     if ( deb_level > 0 ) {
-        int i;
-        deb_level--;
-        delete [] deb_level_msg;
-        deb_level_msg = new char[3*deb_level+1];
-            for ( i = 0; i < 3*deb_level; i++ )
-                deb_level_msg[i] = ' ';
-        deb_level_msg[3*deb_level] = '\0';
+        int i;
+        deb_level--;
+        delete [] deb_level_msg;
+        deb_level_msg = new char[3*deb_level+1];
+            for ( i = 0; i < 3*deb_level; i++ )
+                deb_level_msg[i] = ' ';
+        deb_level_msg[3*deb_level] = '\0';
     }
 }