- siimplifified RTM (one register less) now counts x-steps.

[helm.git] / helm / software / helena / Makefile

diff --git a/helm/software/helena/Makefile b/helm/software/helena/Makefile
index c0d702cf7170bd46b9532fae13846ab3d1bd69b8..f26c4e8579c0dd0026f71b02b0e71d8bf86ac1f6 100644 (file)
--- a/helm/software/helena/Makefile
+++ b/helm/software/helena/Makefile
@@ -36,7 +36,7 @@ ELPI = grundlagen_2.elpi
 
 PREAMBLE_MA   = ../matita/matita.ma.templ
 PREAMBLE_V    = coq/grundlagen.template
-PREAMBLE_ELPI = elpi/grundlagen.template
+PREAMBLE_ELPI = elpi/elpi.template
 
 test-si-fast: $(MAIN).opt etc
        @echo "  HELENA -o -q -1 $(INPUTFAST)"