]> matita.cs.unibo.it Git - helm.git/blobdiff - helm/interface/xsltProcessorHTTP.ml
xsltProcessorHTTP.ml : no temp file created,
[helm.git] / helm / interface / xsltProcessorHTTP.ml
index 56096a314bf98137179ef8bfa71cf6023602a436..ed26724cad6cc4116f46b9ed9f0f1afd20cca05d 100644 (file)
@@ -47,6 +47,6 @@ let process uri usecache mode =
     ""
    )
  in
-  ClientHTTP.get_and_save_to_tmp string_to_send
+  string_to_send
 ;;