diff options
Diffstat (limited to 'zkvmLib.nix')
| -rw-r--r-- | zkvmLib.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/zkvmLib.nix b/zkvmLib.nix index 539b54e..3e0b616 100644 --- a/zkvmLib.nix +++ b/zkvmLib.nix @@ -13,7 +13,7 @@ let # are inevitable and cargo crashes when it encounters them. # We'll manually remove all duplicates and cargo will be happy. # This is a disgusting hack, but it's the best I've come up with. - removeDuplicates = '' + removeDuplicates = /* awk */ '' BEGIN { unique = 1 } |
