X-Git-Url: https://codewiz.org/gitweb?a=blobdiff_plain;f=bertos%2Femul%2Femul.cpp;h=3d0eb0a49c5b81ae7ac364816fe294a8919af8a4;hb=5d5cb6250eacac50a8a587296e109c787764f5b8;hp=9b06fb90269236d1a34a07164ce9b9af2b47291a;hpb=049904b385eb53310e0d7fc0e681edf65b0d632d;p=bertos.git

diff --git a/bertos/emul/emul.cpp b/bertos/emul/emul.cpp
index 9b06fb90..3d0eb0a4 100644
--- a/bertos/emul/emul.cpp
+++ b/bertos/emul/emul.cpp
@@ -91,6 +91,10 @@ extern "C" void emul_cleanup()
 {
 	MOD_CLEANUP(emul);
 
+	// Timer must be made inactive before we destroy the emulator
+	extern bool timer_initialized;
+	ASSERT(!timer_initialized);
+
 	delete emul;
 	emul = NULL;
 }