From: Stefano Zacchiroli Date: Wed, 12 Mar 2003 17:06:24 +0000 (+0000) Subject: - bugfiz: 0! = 1 :-) X-Git-Tag: V_0_0_4_2~24 X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=8783b3c300258da8f442c1e879073451b96b187f;p=helm.git - bugfiz: 0! = 1 :-) --- diff --git a/helm/DEVEL/ocaml-http/examples/damned_recursion.ml b/helm/DEVEL/ocaml-http/examples/damned_recursion.ml index c7fbe846f..dd3f6a36d 100644 --- a/helm/DEVEL/ocaml-http/examples/damned_recursion.ml +++ b/helm/DEVEL/ocaml-http/examples/damned_recursion.ml @@ -44,7 +44,7 @@ let callback (req: request) outchan = let i = int_of_string (req#param "x") in prerr_endline (string_of_int i); match i with - | 0 -> output_string outchan "0" + | 0 -> output_string outchan "1" | x when x>0 -> let data = wget "127.0.0.1" 9999 (sprintf "/foo?x=%d" (x-1))