X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2FDEVEL%2Focaml-http%2Ftophttp;h=64694a2139686af39a0933a2a52263ec2be5c728;hb=3c7ca719c304eb7de7d8d4e9a90ebe0db8d8ecab;hp=c93a47e8372c09fcb9b1afab2cf8ffa9eb3e6b60;hpb=2f28bfb47f5fad6b3c5a705d9ede95700416dee8;p=helm.git

diff --git a/helm/DEVEL/ocaml-http/tophttp b/helm/DEVEL/ocaml-http/tophttp
index c93a47e83..64694a213 100644
--- a/helm/DEVEL/ocaml-http/tophttp
+++ b/helm/DEVEL/ocaml-http/tophttp
@@ -2,4 +2,4 @@
 #require "unix";;
 #require "pcre";;
 #require "netstring";;
-#load "http.cmo";;
+#load "http.cma";;