From 6dcc8ecb59e6bc0a7e8dea691fb7a618a41a141e Mon Sep 17 00:00:00 2001
From: Kamen Mladenov <kamen@syndamia.com>
Date: Mon, 10 Feb 2025 16:27:51 +0200
Subject: fix: Delete unused old input file

---
 Vertices-010.in          | 5 -----
 zkvms/jolt/default.nix   | 1 -
 zkvms/nexus/default.nix  | 1 -
 zkvms/risc0/default.nix  | 1 -
 zkvms/sp1/default.nix    | 1 -
 zkvms/zkm/default.nix    | 1 -
 zkvms/zkwasm/default.nix | 1 -
 7 files changed, 11 deletions(-)
 delete mode 100644 Vertices-010.in

diff --git a/Vertices-010.in b/Vertices-010.in
deleted file mode 100644
index d93d036..0000000
--- a/Vertices-010.in
+++ /dev/null
@@ -1,5 +0,0 @@
-(
-vec![vec![false, false, false, false, true, false, false, true, false, false], vec![false, false, false, true, false, false, false, false, false, false], vec![false, false, false, false, false, true, false, true, false, true], vec![false, true, false, false, true, false, false, false, true, true], vec![true, false, false, true, false, false, false, true, false, true], vec![false, false, true, false, false, false, false, true, false, false], vec![false, false, false, false, false, false, false, false, true, false], vec![true, false, true, false, true, true, false, false, true, true], vec![false, false, false, true, false, false, true, true, false, false], vec![false, false, true, true, true, false, false, true, false, false]],
-3,
-vec![vec![0, 2], vec![1, 1], vec![2, 1], vec![3, 0], vec![4, 1], vec![5, 2], vec![6, 0], vec![7, 0], vec![8, 1], vec![9, 2]]
-)
diff --git a/zkvms/jolt/default.nix b/zkvms/jolt/default.nix
index 1086cde..c3179e7 100644
--- a/zkvms/jolt/default.nix
+++ b/zkvms/jolt/default.nix
@@ -19,7 +19,6 @@ let
           ../../guests
           ../../guests_macro
           ../../zkvms_host_io
-          ../../Vertices-010.in
       ]);
     };
 
diff --git a/zkvms/nexus/default.nix b/zkvms/nexus/default.nix
index b53052a..ea717bb 100644
--- a/zkvms/nexus/default.nix
+++ b/zkvms/nexus/default.nix
@@ -19,7 +19,6 @@ let
           ../../guests
           ../../guests_macro
           ../../zkvms_host_io
-          ../../Vertices-010.in
       ]);
     };
 
diff --git a/zkvms/risc0/default.nix b/zkvms/risc0/default.nix
index 0120f11..21525db 100644
--- a/zkvms/risc0/default.nix
+++ b/zkvms/risc0/default.nix
@@ -17,7 +17,6 @@ let
           ../../guests
           ../../guests_macro
           ../../zkvms_host_io
-          ../../Vertices-010.in
       ]);
     };
   };
diff --git a/zkvms/sp1/default.nix b/zkvms/sp1/default.nix
index b20b568..962c9a9 100644
--- a/zkvms/sp1/default.nix
+++ b/zkvms/sp1/default.nix
@@ -18,7 +18,6 @@ let
           ../../guests
           ../../guests_macro
           ../../zkvms_host_io
-          ../../Vertices-010.in
       ]);
     };
   };
diff --git a/zkvms/zkm/default.nix b/zkvms/zkm/default.nix
index b2ce912..110b54c 100644
--- a/zkvms/zkm/default.nix
+++ b/zkvms/zkm/default.nix
@@ -38,7 +38,6 @@ let
           ../../guests
           ../../guests_macro
           ../../zkvms_host_io
-          ../../Vertices-010.in
       ]);
     };
 
diff --git a/zkvms/zkwasm/default.nix b/zkvms/zkwasm/default.nix
index e7aba3e..82315d2 100644
--- a/zkvms/zkwasm/default.nix
+++ b/zkvms/zkwasm/default.nix
@@ -20,7 +20,6 @@ let
           ../../guests
           ../../guests_macro
           ../../zkvms_host_io
-          ../../Vertices-010.in
       ]);
     };
   };
-- 
cgit v1.2.3