X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=matita%2Fmatita%2Fdune;h=55983d8e6bc40dbffd37ed7edda32a0d2a428834;hb=6fbaee3701f116f9db60bfd3998dff63ddb68704;hp=34ad60b8fc7b0cb1bd71127c5e56b8c26f34e7e5;hpb=8f4dd9ff1ccceb8b305376fbbdfd1526dc9c22ab;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))