markdown

yamt · Jun 24, 2023 · 5444ac1 · 5444ac1
1 parent 27d30d3
commit 5444ac1
Showing 1 changed file with 2 additions and 0 deletions.
diff --git a/doc/check_interrupt.md b/doc/check_interrupt.md
@@ -1,5 +1,7 @@
 # check_interrupt and restartable errors
 
+## Overview
+
 We have a few features which potentially block for long period.
 (possibly forever.)
 They include `wasm-threads` and `WASI`.