max/lean4-htt
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions 2

chore: remove workaround

Browse source
This commit is contained in:
Leonardo de Moura 2022-07-09 07:46:33 -07:00
parent 61b01ea3b3
commit defff00787
1 changed files with 1 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/Leanc.lean
View file

@ -33,7 +33,7 @@ Interesting options:
match arg with
| "--print-cflags" =>
IO.println <| " ".intercalate (cflags.map rootify |>.toList)
return (0 : UInt32) -- TODO: remove type annotation after we make sure `for in` propagate `do`-block result type
return 0
| "--print-ldflags" =>
IO.println <| " ".intercalate ((cflags ++ ldflags).map rootify |>.toList)
return 0