Replace deprecated use of vector.new with copy

This commit is contained in:
Lars Müller 2022-07-08 13:52:58 +02:00 committed by GitHub
parent 0e63f18a73
commit b15393c2a5
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

@ -5,8 +5,8 @@ local builtin_shared = ...
local function copy_pointed_thing(pointed_thing) local function copy_pointed_thing(pointed_thing)
return { return {
type = pointed_thing.type, type = pointed_thing.type,
above = vector.new(pointed_thing.above), above = vector.copy(pointed_thing.above),
under = vector.new(pointed_thing.under), under = vector.copy(pointed_thing.under),
ref = pointed_thing.ref, ref = pointed_thing.ref,
} }
end end