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 15b3173b72f5bebb75c9ffdb2869c962094a4429..788f8d3b49bc4906106f93647df81243aa39591d 100644 (file)
--- a/matita/components/registry/dune
+++ b/matita/components/registry/dune
@@ -1,9 +1,9 @@
 (library
  (name helm_registry)
- (libraries str netstring helm_xml)
+ (libraries str helm_xml)
  (preprocess (action (system "camlp5o %{input-file}")))
  (wrapped false)
  (modules (:standard \ test)))
 (env
-  (dev
+  (_
     (flags (:standard -w @A-52-4-34-37-45-9-44-48-6-32-20-58-7-57-3-68-69-70-50))))