X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fcomponents%2Fregistry%2Fdune;h=788f8d3b49bc4906106f93647df81243aa39591d;hb=440f25ef590813e93cb8aca12bab547f7141a95c;hp=10dcf81883e7c7dfcd1104d8e231264fa92944c9;hpb=a16d01be3144808867e8885b48304f60044e10de;p=helm.git

diff --git a/matita/components/registry/dune b/matita/components/registry/dune
index 10dcf8188..788f8d3b4 100644
--- a/matita/components/registry/dune
+++ b/matita/components/registry/dune
@@ -1,6 +1,6 @@
 (library
  (name helm_registry)
- (libraries str netstring helm_xml)
+ (libraries str helm_xml)
  (preprocess (action (system "camlp5o %{input-file}")))
  (wrapped false)
  (modules (:standard \ test)))