Fix compilation error on Ubuntu

Changes

1 changed files (+1/-1)

• lakefile.toml
  • @@ -8,8 +8,8 @@
    [[lean_exe]] name = "slean" root = "Main" + moreLinkArgs = ["-Wl,--unresolved-symbols=ignore-all"] [[require]] name = "sqlite" scope = "BRonen" - moreLinkArgs = ["-Wl,--unresolved-symbols=ignore-all"]