From 8aa35f7fdb023950fd91c25c36edfcb990dce197 Mon Sep 17 00:00:00 2001
From: Nikolaj Bjorner <nbjorner@microsoft.com>
Date: Thu, 17 Aug 2023 18:54:00 -0700
Subject: [PATCH] remove package lock

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
---
 package-lock.json | 6 ------
 1 file changed, 6 deletions(-)
 delete mode 100644 package-lock.json

diff --git a/package-lock.json b/package-lock.json
deleted file mode 100644
index ab471dfcd..000000000
--- a/package-lock.json
+++ /dev/null
@@ -1,6 +0,0 @@
-{
-  "name": "z3",
-  "lockfileVersion": 3,
-  "requires": true,
-  "packages": {}
-}