diff options
Diffstat (limited to 'proofs')
| -rw-r--r-- | proofs/redexpr.mli | 2 | ||||
| -rw-r--r-- | proofs/tacexpr.ml | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/proofs/redexpr.mli b/proofs/redexpr.mli index a0b7100b6b..7146f7f5e0 100644 --- a/proofs/redexpr.mli +++ b/proofs/redexpr.mli @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) open Names open Term diff --git a/proofs/tacexpr.ml b/proofs/tacexpr.ml index 12fa2b950a..9889fcb0b9 100644 --- a/proofs/tacexpr.ml +++ b/proofs/tacexpr.ml @@ -6,7 +6,7 @@ (* * GNU Lesser General Public License Version 2.1 *) (************************************************************************) -(* $Id$ *) +(*i $Id$ i*) open Names open Topconstr |