File mtt/bin/trans/p/zero_state.p artifact e67a8f8538 part of check-in a8cce33cfa

PROCEDURE zero_state(VAR x : StateVector;
			 N : INTEGER);
VAR i : INTEGER;
   
BEGIN
   FOR i:=1 TO N DO
      x[i] := 0.0;
END;