diff options
Diffstat (limited to 'cil.patch/clexer.mll.patch')
| -rw-r--r-- | cil.patch/clexer.mll.patch | 24 |
1 files changed, 0 insertions, 24 deletions
diff --git a/cil.patch/clexer.mll.patch b/cil.patch/clexer.mll.patch deleted file mode 100644 index edbe8be..0000000 --- a/cil.patch/clexer.mll.patch +++ /dev/null @@ -1,24 +0,0 @@ -*** ../cil.orig/src/frontc/clexer.mll 2006-05-21 06:14:15.000000000 +0200 ---- ../cil/src/frontc/clexer.mll 2009-03-29 10:34:34.000000000 +0200 -*************** -*** 584,590 **** - | blank { hash lexbuf} - | intnum { (* We are seeing a line number. This is the number for the - * next line *) -! E.setCurrentLine (int_of_string (Lexing.lexeme lexbuf) - 1); - (* A file name must follow *) - file lexbuf } - | "line" { hash lexbuf } (* MSVC line number info *) ---- 584,595 ---- - | blank { hash lexbuf} - | intnum { (* We are seeing a line number. This is the number for the - * next line *) -! let s = Lexing.lexeme lexbuf in -! begin try -! E.setCurrentLine (int_of_string s - 1) -! with Failure _ -> -! E.warn "Bad line number in preprocessed file: %s" s -! end; - (* A file name must follow *) - file lexbuf } - | "line" { hash lexbuf } (* MSVC line number info *) |