diff options
| author | Kathy Gray | 2016-01-26 13:51:16 +0000 |
|---|---|---|
| committer | Kathy Gray | 2016-01-26 13:51:26 +0000 |
| commit | 6f8c99cf778ac458860e1a28516fc2468b43bbfd (patch) | |
| tree | e4769de121652fad8b3f83892e2f7ec8d6559e95 /src/reporting_basic.ml | |
| parent | 792857153b3bdd156d51b0dd01e7b1f6fd85932c (diff) | |
move closer to power.sail -> power.ml output
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 () |