From 92fcd2cff2b1b0d289b98d14668484b338c8530a Mon Sep 17 00:00:00 2001 From: Gregory Malecha Date: Fri, 1 Aug 2014 21:31:39 -0400 Subject: a comment about the new state. --- tools/coqdep_lexer.mll | 3 +++ 1 file changed, 3 insertions(+) (limited to 'tools/coqdep_lexer.mll') diff --git a/tools/coqdep_lexer.mll b/tools/coqdep_lexer.mll index 4cb5e0087..dfcd22f57 100644 --- a/tools/coqdep_lexer.mll +++ b/tools/coqdep_lexer.mll @@ -50,6 +50,9 @@ let syntax_error lexbuf = raise (Syntax_error (Lexing.lexeme_start lexbuf, Lexing.lexeme_end lexbuf)) + (** This is the prefix that should be pre-prepended to files due to the use + ** of [From], i.e. [From Xxx... Require ...] + **) let from_pre_ident = ref None } -- cgit v1.2.3