Index: trunk/platforms/tsar_generic_leti/top.cpp
===================================================================
--- trunk/platforms/tsar_generic_leti/top.cpp	(revision 836)
+++ trunk/platforms/tsar_generic_leti/top.cpp	(revision 849)
@@ -1141,4 +1141,5 @@
     }
 
+#if USE_PIC
     // variable used for IRQ trace
     bool prev_irq_bdev = false;
@@ -1151,4 +1152,5 @@
     for( size_t y = 0 ; y<16 ; y++ )
     for( size_t i = 0 ; i<4  ; i++ ) prev_irq_proc[x][y][i] = false;
+#endif
 
     for (uint64_t n = 1; n < ncycles && !stop_called; n++)
