From d3ec8f8791f7b7f4ee60e7dc57b60702050a95c7 Mon Sep 17 00:00:00 2001
From: "Gustavo J. A. M. Carneiro" <gjc@inescporto.pt>
Date: Thu, 26 Jul 2007 12:05:31 +0100
Subject: [PATCH] EvenId const fixes.

---
 src/simulator/event-id.cc | 4 ++--
 src/simulator/event-id.h  | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/simulator/event-id.cc b/src/simulator/event-id.cc
index 18f875935..1c2915037 100644
--- a/src/simulator/event-id.cc
+++ b/src/simulator/event-id.cc
@@ -45,12 +45,12 @@ EventId::Cancel (void)
     }
 }
 bool 
-EventId::IsExpired (void)
+EventId::IsExpired (void) const
 {
   return Simulator::IsExpired (*this);
 }
 bool 
-EventId::IsRunning (void)
+EventId::IsRunning (void) const
 {
   return !IsExpired ();
 }
diff --git a/src/simulator/event-id.h b/src/simulator/event-id.h
index 4350c9bbe..52371faa1 100644
--- a/src/simulator/event-id.h
+++ b/src/simulator/event-id.h
@@ -44,8 +44,8 @@ public:
    * method.
    * \returns true if the event has expired, false otherwise.
    */
-  bool IsExpired (void);
-  bool IsRunning (void);
+  bool IsExpired (void) const;
+  bool IsRunning (void) const;
 public:
   /* The following methods are semi-private
    * they are supposed to be invoked only by