diff options
Diffstat (limited to 'zkvms/risc0')
| -rw-r--r-- | zkvms/risc0/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
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 ]); }; }; |