diff options
Diffstat (limited to 'src/ValuesUtils.ml')
| -rw-r--r-- | src/ValuesUtils.ml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/ValuesUtils.ml b/src/ValuesUtils.ml index 2d380ca9..4555fd50 100644 --- a/src/ValuesUtils.ml +++ b/src/ValuesUtils.ml @@ -97,7 +97,7 @@ let find_first_primitively_copyable_sv (v : typed_value) : symbolic_value option method! visit_Symbolic _ sv = let ty = sv.sv_ty in - if type_is_primitively_copyable ty && ty_has_regions ty then + if ty_is_primitively_copyable ty && ty_has_regions ty then raise (FoundSymbolicValue sv) else () end |