diff --git a/result b/result
deleted file mode 120000
index 46e8ea305..000000000
--- a/result
+++ /dev/null
@@ -1 +0,0 @@
-/nix/store/2i8wxrdh18ldhvybvddqb52vrwc67b69-liboqs
\ No newline at end of file