Project

General

Profile

« Previous | Next » 

Revision a7062da6

Added by LĂ©lio Brun over 3 years ago

another step towards refactoring

View differences:

src/utils/location.ml
54 54
let pp fmt loc =
55 55
  if loc = dummy then () else Format.fprintf fmt "%s" (Lex.range loc)
56 56

  
57
let pp_c_loc fmt (s, _e) =
57
let pp_c fmt (s, _e) =
58 58
  let filename = s.pos_fname in
59 59
  let line = s.pos_lnum in
60 60
  Format.fprintf fmt "#line %i \"%s\"" line filename

Also available in: Unified diff