fixes #12420 [backport] (#12456)

This commit is contained in:
Andreas Rumpf
2019-10-18 22:13:24 +02:00
committed by GitHub
parent 6b157e5f73
commit 832b0a0232
4 changed files with 14 additions and 8 deletions

View File

@@ -0,0 +1,2 @@
proc burnMem*(a: int) =
discard