diff options
Diffstat (limited to 'src/reporting_basic.ml')
| -rw-r--r-- | src/reporting_basic.ml | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/reporting_basic.ml b/src/reporting_basic.ml index 3d211d82..f3120833 100644 --- a/src/reporting_basic.ml +++ b/src/reporting_basic.ml @@ -89,8 +89,9 @@ let rec format_loc_aux ff l = let (l_org, mod_s) = dest_loc l in let _ = match l_org with | Parse_ast.Unknown -> Format.fprintf ff "no location information available" + | Parse_ast.Generated l -> Format.fprintf ff "Code generated: original nearby source is "; (format_loc_aux ff l) | Parse_ast.Range(p1,p2) -> format_pos2 ff p1 p2 - | Parse_ast.Int(s,_) -> Format.fprintf ff "code generated by: %s" s + | Parse_ast.Int(s,_) -> Format.fprintf ff "code in lib from: %s" s in () |