Benjamin_Loison/Synchronous_reactive_systems
1
0
Fork 0
Code Issues 7 Pull Requests Packages Projects Releases Wiki Activity

Correct boolean inputs

Browse Source
This commit is contained in:
Benjamin Loison 2023-01-03 23:23:18 +01:00
parent f8c673632e
commit b168161b4f
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/cprint.ml
View File

@ -362,7 +362,7 @@ let cp_main_fn fmt (prog, sts) =
else Format.fprintf fmt "%s%a") else Format.fprintf fmt "%s%a")
(match h with (match h with
| IVar _ -> "%d" | IVar _ -> "%d"
| BVar _ -> "%hd" | BVar _ -> "%c"
| RVar _ -> "%lf") | RVar _ -> "%lf")
cp_scanf_str (true, t) cp_scanf_str (true, t)
in in