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