Changeset 85e68dd in git for kernel/timer.h

Timestamp:

Mar 19, 2008, 6:44:38 PM (16 years ago)

Author:

Hans Schönemann <hannes@…>

Branches:

(u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')

Children:

0e8683ce70a557cd606e08f67660015d94bf8c34

Parents:

36b7a3a23287fa7372c89db467c4ffab4d6268d4

Message:

*hannes: gcc 4.2


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

File:

• kernel/timer.h (modified) (2 diffs)

kernel/timer.h

@@ -7 +7 @@
 *  ABSTRACT - get the computing time
 */
-/* $Id: timer.h,v 1.1.1.1 2003-10-06 12:16:04 Singular Exp $ */
+/* $Id: timer.h,v 1.2 2008-03-19 17:44:13 Singular Exp $ */
 
 extern int timerv;
 void startTimer(void);
-void writeTime(char* s);
+void writeTime(const char* s);
 
 int initTimer();
@@ -19 +19 @@
 extern int rtimerv;
 void startRTimer(void);
-void writeRTime(char* s);
+void writeRTime(const char* s);
 
 void initRTimer();