Is this example from verilog-AMS LRM wrong?

SMASH (release 6.3.0 of Dec 16 2014)
Control file: 'C:\Program Files (x86)\Dolphin\Solutions 2014 Q4\smash\examples\Verilog-Ams\PLL\testbench.pat'
COMMENT: Analyzing Verilog file C:\Program Files (x86)\Dolphin\Solutions 2014 Q4\smash\examples\Verilog-Ams\PLL\adc_LRM.vams
ERROR: only branch/analog net can be assigned in contribution statement
Generating module 'adc'

Click to expand...

Page 89/437:
module adc(in, clk, out);
parameter bits = 8, fullscale = 1.0, dly = 0, ttime = 10n;
input in, clk;
output [0:bits-1] out;
electrical in, clk;
electrical [0:bits-1] out;
real sample, thresh;
integer result[0:bits-1];
genvar i;
analog begin
@(cross(V(clk)-2.5, +1)) begin
sample = V(in);
thresh = fullscale/2.0;
for (i = bits - 1; i >= 0; i = i - 1) begin
if (sample > thresh) begin
result = 1.0;
sample = sample - thresh;
end
else begin
result = 0.0;
end
sample = 2.0*sample;
end
end
for (i = 0; i < bits; i = i + 1) begin
V(out) <+ transition(result, dly, ttime);
end
end
endmodule

Click to expand...