diff options
| author | Son Ho | 2022-01-18 22:47:18 +0100 |
|---|---|---|
| committer | Son Ho | 2022-01-18 22:47:18 +0100 |
| commit | 3223123aa5736cfe83168313e501fd4927f107ef (patch) | |
| tree | dbae4c8f7b59b360d3488e4efc6f7389a7bb3f76 /src/ValuesUtils.ml | |
| parent | 280c5b1a7fde56d1d0238b44555de486fc1f563e (diff) | |
Rename type_is_primitively_copyable to ty_is_...
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 |