diff options
Diffstat (limited to 'cparser/Cabshelper.ml')
| -rw-r--r-- | cparser/Cabshelper.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cparser/Cabshelper.ml b/cparser/Cabshelper.ml index 35aa0c4..9d4a91f 100644 --- a/cparser/Cabshelper.ml +++ b/cparser/Cabshelper.ml @@ -70,7 +70,7 @@ begin | LABEL(_,_,loc) -> loc | GOTO(_,loc) -> loc | DEFINITION d -> get_definitionloc d - | ASM(_,loc) -> loc + | ASM(_,_,loc) -> loc end let string_of_cabsloc l = |