src/simulator/simulator.cc
changeset 4448 641b88d1e131
parent 4095 4b919c166ec3
child 4510 c3a4c70f37d0
--- a/src/simulator/simulator.cc	Mon May 18 14:10:49 2009 +0100
+++ b/src/simulator/simulator.cc	Tue May 19 15:34:20 2009 +0200
@@ -139,10 +139,6 @@
   GetImpl ()->SetScheduler (scheduler);
 }
 
-void 
-Simulator::EnableLogTo (char const *filename)
-{}
-
 bool 
 Simulator::IsFinished (void)
 {