X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Finterface%2FMakefile.in;h=a6e9eae908ae939e6a08b6147bbfb570c140cc71;hb=dd2af791135cedf4e558ff8629ceca044a0d11d3;hp=2e92fd82be5209443ca88ca55a638924640c1c54;hpb=f7cdd861bf43d3a8585103fb3bacd29f8a40a46e;p=helm.git

diff --git a/helm/interface/Makefile.in b/helm/interface/Makefile.in
index 2e92fd82b..a6e9eae90 100644
--- a/helm/interface/Makefile.in
+++ b/helm/interface/Makefile.in
@@ -36,7 +36,7 @@ DEPOBJS = experiment.ml cicCache.ml cicCache.mli cicPp.ml cicPp.mli \
           cicCooking.ml cicCooking.mli cicFindParameters.ml theoryCache.ml \
           fix_params.ml cic2Xml.ml xml.ml uriManager.ml uriManager.mli \
           cicSubstitution.ml cicSubstitution.mli \
-          mmlinterface.ml configuration.ml \
+          mmlinterface.ml configuration.ml styleConfiguration.ml \
           xsltProcessor.ml deannotate.ml cicXPath.ml pxpUriResolver.ml \
           annotationParser.ml annotationParser2.ml annotation2Xml.ml \
           cicAnnotationHinter.ml