diff options
| -rw-r--r-- | generator/generator_bindtests.ml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/generator/generator_bindtests.ml b/generator/generator_bindtests.ml index 92436a7d..371ad880 100644 --- a/generator/generator_bindtests.ml +++ b/generator/generator_bindtests.ml @@ -327,8 +327,8 @@ let () = List.map ( function | CallOBool (n, v) -> "~" ^ n ^ ":" ^ string_of_bool v - | CallOInt (n, v) -> "~" ^ n ^ ":" ^ string_of_int v - | CallOInt64 (n, v) -> "~" ^ n ^ ":" ^ Int64.to_string v ^ "L" + | CallOInt (n, v) -> "~" ^ n ^ ":(" ^ string_of_int v ^ ")" + | CallOInt64 (n, v) -> "~" ^ n ^ ":(" ^ Int64.to_string v ^ "L)" | CallOString (n, v) -> "~" ^ n ^ ":\"" ^ v ^ "\"" | CallOStringList (n, xs) -> "~" ^ n ^ ":" ^ |