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

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)))