registry already did not depend on ocamlnet any more

[helm.git] / matita / components / registry / dune

diff --git a/matita/components/registry/dune b/matita/components/registry/dune
index 10dcf81883e7c7dfcd1104d8e231264fa92944c9..788f8d3b49bc4906106f93647df81243aa39591d 100644 (file)
--- 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)))