diff options
Diffstat (limited to 'cparser/Cabshelper.ml')
| -rw-r--r-- | cparser/Cabshelper.ml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/cparser/Cabshelper.ml b/cparser/Cabshelper.ml index aa7a117..7f411ad 100644 --- a/cparser/Cabshelper.ml +++ b/cparser/Cabshelper.ml @@ -47,6 +47,7 @@ let rec isTypedef = function let get_definitionloc (d : definition) : cabsloc = match d with | FUNDEF(_, _, _, l) -> l + | KRFUNDEF(_, _, _, _, _, l) -> l | DECDEF(_, l) -> l | PRAGMA(_, l) -> l |