diff --git a/src/cprint.ml b/src/cprint.ml index 770d07c..9a31469 100644 --- a/src/cprint.ml +++ b/src/cprint.ml @@ -362,7 +362,7 @@ let cp_main_fn fmt (prog, sts) = else Format.fprintf fmt "%s%a") (match h with | IVar _ -> "%d" - | BVar _ -> "%hd" + | BVar _ -> "%c" | RVar _ -> "%lf") cp_scanf_str (true, t) in