File mttroot/mtt/bin/trans/p/zero_vector.p artifact e910ee9cd2 part of check-in c6d26e5133

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