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/risc0/default.nix | 1 - 1 file changed, 1 deletion(-) (limited to 'zkvms/risc0/default.nix') 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 ]); }; }; -- cgit v1.2.3