X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Focaml%2FMETA.helm-cic_annotations.src;h=829efba0dfce4c156426cd76c312a73312ea0eed;hb=515c1195a3b3ff86bf002091b4535bc812aa40ea;hp=ec5462fe752ca69690f24bb471b63bfe4b15c24b;hpb=425f2471b811c898c84cf7f5230037dd3c8b719b;p=helm.git

diff --git a/helm/ocaml/META.helm-cic_annotations.src b/helm/ocaml/META.helm-cic_annotations.src
index ec5462fe7..829efba0d 100644
--- a/helm/ocaml/META.helm-cic_annotations.src
+++ b/helm/ocaml/META.helm-cic_annotations.src
@@ -1,4 +1,4 @@
-requires="helm-cic helm-xml lablgtk"
+requires="helm-cic helm-xml"
 version="0.0.1"
 archive(byte)="cic_annotations.cma"
 archive(native)="cic_annotations.cmxa"