chore: update stage0

leanprover · Aug 5, 2024 · d671d0d · d671d0d
1 parent 8e476e9
commit d671d0d
Show file tree

Hide file tree

Showing 13 changed files with 13,007 additions and 13,135 deletions.
diff --git a/stage0/src/kernel/instantiate.cpp b/stage0/src/kernel/instantiate.cpp
diff --git a/stage0/src/kernel/instantiate.h b/stage0/src/kernel/instantiate.h