X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;ds=sidebyside;f=matita%2Fmatita%2Fdune;fp=matita%2Fmatita%2Fdune;h=55983d8e6bc40dbffd37ed7edda32a0d2a428834;hb=49ba026556fb44d5f2730d43a3e819d224fdc10c;hp=34ad60b8fc7b0cb1bd71127c5e56b8c26f34e7e5;hpb=ab2c76206276daec9863e1c385e8f27a7f899242;p=helm.git

diff --git a/matita/matita/dune b/matita/matita/dune
index 34ad60b8f..55983d8e6 100644
--- a/matita/matita/dune
+++ b/matita/matita/dune
@@ -1,7 +1,7 @@
 (library
  (name matita_cli)
  (wrapped false)
- (libraries helm_grafite_engine lablgtk3-sourceview3)
+ (libraries helm_grafite_engine lablgtk3-sourceview3 dune-build-info)
  (modules 
    buildTimeConf matitaTypes matitaMiscCli applyTransformation matitaEngine matitaExcPp matitaInit))