balsoft/ligo
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Bugfix in printer

Browse Source
This commit is contained in:
Suzanne Dupéron 2020-06-17 22:38:05 +01:00 committed by Lesenechal Remi
parent 60c4f591fb
commit 2c5f1f0e2b
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/stages/5-ast_typed/PP_generic.ml
View File

@ -89,7 +89,7 @@ module M = struct
option = (fun _visitor continue NoState o -> option = (fun _visitor continue NoState o ->
match o with match o with
| None -> fprintf ppf "None" | None -> fprintf ppf "None"
| Some v -> fprintf ppf "%a" (fun _ppf -> continue NoState) v) ; | Some v -> fprintf ppf "Some %a" (fun _ppf -> continue NoState) v) ;
poly_unionfind = (fun _visitor continue NoState p -> poly_unionfind = (fun _visitor continue NoState p ->
let lst = (UnionFind.Poly2.partitions p) in let lst = (UnionFind.Poly2.partitions p) in
let aux1 l = fprintf ppf "[@,@[<hv 2> (*%a*) %a @]@,]" let aux1 l = fprintf ppf "[@,@[<hv 2> (*%a*) %a @]@,]"