diff options
Diffstat (limited to 'zkvms/sp1/default.nix')
| -rw-r--r-- | zkvms/sp1/default.nix | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/zkvms/sp1/default.nix b/zkvms/sp1/default.nix index b20b568..962c9a9 100644 --- a/zkvms/sp1/default.nix +++ b/zkvms/sp1/default.nix @@ -18,7 +18,6 @@ let ../../guests ../../guests_macro ../../zkvms_host_io - ../../Vertices-010.in ]); }; }; |