summaryrefslogtreecommitdiffhomepage
diff options
context:
space:
mode:
-rw-r--r--mixlib/mix_ins.c15
1 files changed, 0 insertions, 15 deletions
diff --git a/mixlib/mix_ins.c b/mixlib/mix_ins.c
index 90ca15d..204db6d 100644
--- a/mixlib/mix_ins.c
+++ b/mixlib/mix_ins.c
@@ -21,21 +21,6 @@
#include "mix_ins.h"
-/* -------------------------------------> MOVE to VM
-static mix_time_t interlock_time_ = 0;
-static const mix_time_t exec_times_[] = {
- 1, 2, 2, 10, 12, 10, 2, 1,
- 2, 2, 2, 2 , 2, 2, 2, 2,
- 2, 2, 2, 2 , 2, 2, 2, 2,
- 2, 2, 2, 2 , 2, 2, 2, 2,
- 2, 2, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1,
- 1, 1, 1, 1, 1, 1, 1, 1,
- 2, 2, 2, 2 , 2, 2, 2, 2
-};
-------------------------------------------------------*/
-
-
struct mix_ins_desc_
{