diff options
Diffstat (limited to 'arm/Unusedglob1.ml')
-rw-r--r-- | arm/Unusedglob1.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/arm/Unusedglob1.ml b/arm/Unusedglob1.ml index 04ef89a6..33a9bf8d 100644 --- a/arm/Unusedglob1.ml +++ b/arm/Unusedglob1.ml @@ -26,7 +26,7 @@ let referenced_instr = function | Pbsymb(s, _) -> [s] | Pblsymb(s, _) -> [s] | Ploadsymbol(_, s, _) -> [s] - | Pbuiltin ef -> referenced_builtin ef + | Pbuiltin(ef, _, _) -> referenced_builtin ef | _ -> [] let code_of_function f = f.fn_code |