562               s4o.print(" = ");

   562               s4o.print(" = ");

   563               symbol->action_time->accept(*this);

   563               symbol->action_time->accept(*this);

   564               s4o.print(";\n");

   564               s4o.print(";\n");

   565             }

   565             }

   566             s4o.indent_left();

   566             s4o.indent_left();

   568             if (strcmp(qualifier, "DS") == 0) {

   568             if (strcmp(qualifier, "DS") == 0) {

   569               s4o.print("desactivated");

   570               s4o.print("desactivated");

   570               s4o.indent_right();

   572               s4o.indent_right();

   571               s4o.print(s4o.indent_spaces);

   573               s4o.print(s4o.indent_spaces);

   572               print_action_argument(current_action, "set_remaining_time");

   574               print_action_argument(current_action, "set_remaining_time");

   573               s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");

   575               s4o.print(" = __time_to_timespec(1, 0, 0, 0, 0, 0);\n");

   574             }

   578             }

   575           }

   579           }

   576           break;

   580           break;

   577         default:

   581         default:

   578           break;

   582           break;