From 6dcc8ecb59e6bc0a7e8dea691fb7a618a41a141e Mon Sep 17 00:00:00 2001 From: Kamen Mladenov Date: Mon, 10 Feb 2025 16:27:51 +0200 Subject: fix: Delete unused old input file --- zkvms/sp1/default.nix | 1 - 1 file changed, 1 deletion(-) (limited to 'zkvms/sp1') 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 ]); }; }; -- cgit v1.2.3