X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Fexamples%2Fdamned_recursion.ml;h=0280b3f1c5a0795d9b98359813b97f502529dd4b;hb=ca9cd0aeee0ce78a891f7f6091ca8704231a446d;hp=32faa01371ee385d76f01a076e60014aebff6005;hpb=b5703de4f7697426ebda94fce2558add7c4f0285;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/examples/damned_recursion.ml b/helm/DEVEL/ocaml-http/examples/damned_recursion.ml
index 32faa0137..0280b3f1c 100644
--- a/helm/DEVEL/ocaml-http/examples/damned_recursion.ml
+++ b/helm/DEVEL/ocaml-http/examples/damned_recursion.ml
@@ -19,6 +19,7 @@
   Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
 *)
 
+open Http_types;;
 open Printf;;
 
 (*
@@ -44,7 +45,7 @@ let wget addr port path =
   let inchan = Unix.in_channel_of_descr suck in
   wget' inchan ""
 in
-let callback req outchan =
+let callback (req: request) outchan =
   let i = int_of_string (req#param "x") in
   prerr_endline (string_of_int i);
   match i with