diff options
Diffstat (limited to 'checker/check_stat.ml')
-rw-r--r-- | checker/check_stat.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/checker/check_stat.ml b/checker/check_stat.ml index 7ca406fec..5f28269ee 100644 --- a/checker/check_stat.ml +++ b/checker/check_stat.ml @@ -37,7 +37,7 @@ let cst_filter f csts = (fun c ce acc -> if f c ce then c::acc else acc) csts [] -let is_ax _ cb = cb.const_body = None +let is_ax _ cb = not (constant_has_body cb) let pr_ax csts = let axs = cst_filter is_ax csts in |