File mtt/bin/trans/p/zero_vector.p artifact 51fb965f2c part of check-in a8cce33cfa

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