X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fmatita%2FbuildTimeConf.ml.in;h=39efbf62b5864c58a91671e4b3404a6780d12feb;hb=a482ae2ca1849bfe49b057411b6d0af98440e9c0;hp=bb3391317dd26c268403a8fc6e9a32d4c0f2b783;hpb=1d431843f49b3658593c8cc918b53a43479a6486;p=helm.git

diff --git a/helm/matita/buildTimeConf.ml.in b/helm/matita/buildTimeConf.ml.in
index bb3391317..39efbf62b 100644
--- a/helm/matita/buildTimeConf.ml.in
+++ b/helm/matita/buildTimeConf.ml.in
@@ -29,5 +29,5 @@ let undo_history_size = 10;;
 let console_history_size = 100;;
 let gtkrc = "@MATITA_GTKRC@";;
 let base_uri = "cic:/matita";;
-module DB = @DBI_MODULE@;;
+let phrase_sep = ";;";;