Skip to content

Commit 0ae22a5

Browse files
committed
Fix first in location synthesizing
1 parent d2760ba commit 0ae22a5

File tree

1 file changed

+1
-1
lines changed

1 file changed

+1
-1
lines changed

src/frontc/cabs2cil.ml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -856,7 +856,7 @@ module BlockChunk =
856856
in
857857
(* must mutate stmts in order to not break refs (for gotos) *)
858858
let rec doStmt ~first s: unit =
859-
let doLoc = if first then doLoc else fun x -> x in
859+
let doLoc = if first then fun x -> x else doLoc in
860860
s.skind <- match s.skind with
861861
| Instr xs -> Instr (doInstrs ~first xs)
862862
| Return (e, loc) -> Return (e, doLoc loc)

0 commit comments

Comments
 (0)