X-Git-Url: http://matita.cs.unibo.it/gitweb/?a=blobdiff_plain;f=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fautomath%2FMake;fp=helm%2Fsoftware%2Flambda-delta%2Fsrc%2Fautomath%2FMake;h=094f99eb45ab3a4311df966962dcd0e550b4c0ec;hb=d145ea48ed0bdb9642ced01283231f3f13d476b8;hp=29d237864152d4aa41dcf78be51afb78b7705ac2;hpb=e7f64fe2cc67f3514131c8831f87311ff600d005;p=helm.git

diff --git a/helm/software/lambda-delta/src/automath/Make b/helm/software/lambda-delta/src/automath/Make
index 29d237864..094f99eb4 100644
--- a/helm/software/lambda-delta/src/automath/Make
+++ b/helm/software/lambda-delta/src/automath/Make
@@ -1 +1 @@
-aut autProcess autOutput autParser autLexer
+aut autProcess autOutput autParser autLexer autCrg