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