Small cleanups

2011-08-26 05:54:40 -04:00
parent 4a513ff496
commit 97fd644a06
2 changed files with 5 additions and 4 deletions
@@ -84,7 +84,7 @@ int main( int argc, char *argv[] )
    exit( 1 );
  }

-  printf( "[stm is exiting.]\n" );
+  printf( "\n[stm is exiting.]\n" );

  return 0;
 }