From: Stefano Zacchiroli <zack@upsilon.cc>
Date: Thu, 14 Nov 2002 12:00:35 +0000 (+0000)
Subject: load http.cma instead of http.cmo
X-Git-Tag: V_0_0_3~15
X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=commitdiff_plain;h=bf75368b847402eca0e824953a4e9cf69a22905e;p=helm.git

load http.cma instead of http.cmo
---

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";;