diff options
| author | Kathy Gray | 2014-09-09 15:56:44 +0100 |
|---|---|---|
| committer | Kathy Gray | 2014-09-09 15:56:44 +0100 |
| commit | c504d82319d92e6b5bc8663ea644631680ea005e (patch) | |
| tree | 6f237123a800fd291363fb30dcdd3dd20018a82c /src | |
| parent | cac84fb2f04b8faa5e435abdd3194a2f8911f5d3 (diff) | |
Small fix to printing
Diffstat (limited to 'src')
| -rw-r--r-- | src/pretty_print.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index b55bf4b9..287479a4 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -383,14 +383,14 @@ and pp_lem_exp ppf (E_aux(e,(l,annot))) = (match r.nexp with | Nconst bi -> fprintf ppf "@[<0>(E_aux (E_lit (L_aux (L_num %a) %a)) (%a, %a))@]" kwd (string_of_big_int bi) pp_lem_l l pp_lem_l l pp_annot (Base(([],nat_t),Emp_local,[],pure_e)) - | Nvar v -> fprintf ppf "@[<0>(E_aux (E_id (Id_aux (Id %a) %a)) (%a,%a))@]" + | Nvar v -> fprintf ppf "@[<0>(E_aux (E_id (Id_aux (Id \"%a\") %a)) (%a,%a))@]" kwd v pp_lem_l l pp_lem_l l pp_annot (Base(([],nat_t),Emp_local,[],pure_e)) | _ -> raise (Reporting_basic.err_unreachable l "Internal exp given vector without known length")) | Tapp("implicit",[TA_nexp r]) -> (match r.nexp with | Nconst bi -> fprintf ppf "@[<0>(E_aux (E_lit (L_aux (L_num %a) %a)) (%a, %a))@]" kwd (string_of_big_int bi) pp_lem_l l pp_lem_l l pp_annot (Base(([],nat_t),Emp_local,[],pure_e)) - | Nvar v -> fprintf ppf "@[<0>(E_aux (E_id (Id_aux (Id %a) %a)) (%a,%a))@]" + | Nvar v -> fprintf ppf "@[<0>(E_aux (E_id (Id_aux (Id \"%a\") %a)) (%a,%a))@]" kwd v pp_lem_l l pp_lem_l l pp_annot (Base(([],nat_t),Emp_local,[],pure_e)) | _ -> raise (Reporting_basic.err_unreachable l "Internal_exp given implicit without variable or const")) | _ -> raise (Reporting_basic.err_unreachable l "Internal exp given non-vector or implicit")) |