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