diff --git a/sw/tools/fp_lexer.mll b/sw/tools/fp_lexer.mll index 4411639bc2..a73f13af02 100644 --- a/sw/tools/fp_lexer.mll +++ b/sw/tools/fp_lexer.mll @@ -1,3 +1,6 @@ +(* + $Id$ +*) { open Fp_parser }