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

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