Skip to content

Commit

Permalink
fix typo in support/refc/memoryManagement.c
Browse files Browse the repository at this point in the history
Co-authored-by: Mathew Polzin <matt.polzin@gmail.com>
  • Loading branch information
seagull-kamome and mattpolzin authored Sep 28, 2024
1 parent f4b06c1 commit b945254
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion support/refc/memoryManagement.c
Original file line number Diff line number Diff line change
Expand Up @@ -38,7 +38,7 @@ void idris2_dumpMemoryStats(void) {
#else
#define IDRIS2_INC_MEMSTAT(x)
// don't inline this, Because IDRIS2_MEMSTAT works only at compiling support
// libralies to suppressing overhead.
// libraries to suppressing overhead.
void idris2_dumpMemoryStats() {}
#endif

Expand Down

0 comments on commit b945254

Please sign in to comment.