We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ca7c995 commit 718339bCopy full SHA for 718339b
src/cil.ml
@@ -2750,7 +2750,8 @@ let parseInt (str: string) : exp =
2750
(* Construct an integer of the first kinds that fits. i must be POSITIVE *)
2751
let ik = List.find (fun ik -> fitsInInt ik i) kinds in
2752
kintegerCilintString ik i (Some str)
2753
- with Not_found -> E.s (E.unimp "Cannot represent the integer %s\n" (string_of_cilint i))
+ with Not_found ->
2754
+ E.s (E.unimp "Cannot represent the integer %s\n" (string_of_cilint i))
2755
2756
2757
let d_unop () u =
0 commit comments