| author | Gustavo J. A. M. Carneiro <gjc@inescporto.pt> |
| Fri Aug 29 14:53:38 2008 +0100 (17 months ago) | |
| changeset 3585 | b96af8dc8abf |
| parent 3584 | e0a429cb5811 |
| child 3586 | 728eb3f583b3 |
1.1 --- a/src/simulator/realtime-simulator-impl.h Thu Aug 28 15:11:55 2008 -0700 1.2 +++ b/src/simulator/realtime-simulator-impl.h Fri Aug 29 14:53:38 2008 +0100 1.3 @@ -62,8 +62,6 @@ 1.4 1.5 void Destroy (); 1.6 1.7 - void EnableLogTo (char const *filename); 1.8 - 1.9 bool IsFinished (void) const; 1.10 Time Next (void) const; 1.11 void Stop (void);