diff options
Diffstat (limited to 'src/pretty_print.ml')
| -rw-r--r-- | src/pretty_print.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/pretty_print.ml b/src/pretty_print.ml index 88b19627..52e34a38 100644 --- a/src/pretty_print.ml +++ b/src/pretty_print.ml @@ -2318,7 +2318,7 @@ let doc_exp_lem, doc_let_lem = | E_if(c,t,e) -> let (E_aux (_,(_,cannot))) = c in let epp = - separate space [string "if";group (align (string "to_bool" ^//^ group (expY c)))] ^^ + separate space [string "if";group (align (string "bitU_to_bool" ^//^ group (expY c)))] ^^ break 1 ^^ (prefix 2 1 (string "then") (expN t)) ^^ (break 1) ^^ (prefix 2 1 (string "else") (expN e)) in |