diff options
Diffstat (limited to 'docs/tutorial/OCamlLangImpl5.html')
| -rw-r--r-- | docs/tutorial/OCamlLangImpl5.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/tutorial/OCamlLangImpl5.html b/docs/tutorial/OCamlLangImpl5.html index 01e125502c..3a8b7d2525 100644 --- a/docs/tutorial/OCamlLangImpl5.html +++ b/docs/tutorial/OCamlLangImpl5.html @@ -653,7 +653,7 @@ loop: ; preds = %loop, %entry ; body %calltmp = call double @putchard( double 4.200000e+01 ) ; increment - %nextvar = add double %i, 1.000000e+00 + %nextvar = fadd double %i, 1.000000e+00 ; termination test %cmptmp = fcmp ult double %i, %n |