Revert accidental lakefile.toml change

Changes

1 changed files (+1/-1)

• lakefile.toml
  • @@ -5,7 +5,7 @@
    [[lean_exe]] name = "monotonicity" root = "Main" - moreLinkArgs = ["-L/nix/store/r3hcx5rgbiqlh57x5qqpx6l01va5c5vq-raylib-6.0/lib", "-lraylib"] + moreLinkArgs = ["-lraylib"] [[require]] name = "raylean"