From 03389c7fc20f0e02d795eb8f1eddf10b8093e69a Mon Sep 17 00:00:00 2001 From: Enrico Tassi Date: Tue, 21 Mar 2006 16:18:45 +0000 Subject: [PATCH] fixed timestamp issue on tactics.mli --- components/tactics/Makefile | 4 ++-- components/tactics/tactics.mli | 2 +- 2 files changed, 3 insertions(+), 3 deletions(-) diff --git a/components/tactics/Makefile b/components/tactics/Makefile index 91d011d3d..e572b1392 100644 --- a/components/tactics/Makefile +++ b/components/tactics/Makefile @@ -24,8 +24,8 @@ IMPLEMENTATION_FILES = $(INTERFACE_FILES:%.mli=%.ml) all: tactics.mli: tactics.ml *Tactics.mli *Tactic.mli fourierR.mli ring.mli paramodulation/indexing.mli - @echo " OCAMLC -i $< > $@" - $(H)echo "(* GENERATED FILE, DO NOT EDIT *)" > $@ + $(H)echo " OCAMLC -i $< > $@" + $(H)echo "(* GENERATED FILE, DO NOT EDIT. STAMP:`date` *)" > $@ $(H)$(OCAMLC) -I paramodulation -i $< >> $@ STATS_EXCLUDE = tactics.mli diff --git a/components/tactics/tactics.mli b/components/tactics/tactics.mli index 211897a8a..751d9e93f 100644 --- a/components/tactics/tactics.mli +++ b/components/tactics/tactics.mli @@ -1,4 +1,4 @@ -(* GENERATED FILE, DO NOT EDIT *) +(* GENERATED FILE, DO NOT EDIT. STAMP:Tue Mar 21 17:18:22 CET 2006 *) val absurd : term:Cic.term -> ProofEngineTypes.tactic val apply : term:Cic.term -> ProofEngineTypes.tactic val assumption : ProofEngineTypes.tactic -- 2.39.2