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