From f91d43c47b813fe41858d608b556df718a6040c1 Mon Sep 17 00:00:00 2001
From: Marc Glisse <Marc.Glisse@inria.fr>
Date: Tue, 28 Feb 2012 14:09:46 +0000
Subject: [PATCH] Add const.

---
 Manual_tools/src/basic.cpp | 2 +-
 Manual_tools/src/basic.h   | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Manual_tools/src/basic.cpp b/Manual_tools/src/basic.cpp
index b211fd4a8f8..69dd678003c 100644
--- a/Manual_tools/src/basic.cpp
+++ b/Manual_tools/src/basic.cpp
@@ -23,7 +23,7 @@ extern "C" {
 // Own assertion macro
 // ================================================
 
-void cc_assertion_error( char *cond, char *fname, int line) {
+void cc_assertion_error(const char *cond, const char *fname, int line) {
     cerr << endl << "fatal error: assertion '" << cond << "' failed in line " 
 	 << line << " of file '" << fname << "'." << endl;
     abort();
diff --git a/Manual_tools/src/basic.h b/Manual_tools/src/basic.h
index 5a4ba9d1025..f43e5ba0aac 100644
--- a/Manual_tools/src/basic.h
+++ b/Manual_tools/src/basic.h
@@ -24,7 +24,7 @@ using namespace std;
 // Own assertion macro
 // ================================================
 
-void cc_assertion_error( char *cond, char *fname, int line);
+void cc_assertion_error(const char *cond, const char *fname, int line);
 
 #if !NDEBUG
 #define CC_Assert( cond) {\