diff --git a/4130.trivial b/4130.trivial
deleted file mode 100644
index e69de29b..00000000