leanprover
diff --git a/‎stage0/src/Lean/Compiler/ExternAttr.lean
Lines changed: 13 additions & 11 deletions b/‎stage0/src/Lean/Compiler/ExternAttr.lean
Lines changed: 13 additions & 11 deletions
diff --git a/‎stage0/src/Lean/Compiler/IR/Basic.lean
Lines changed: 4 additions & 0 deletions b/‎stage0/src/Lean/Compiler/IR/Basic.lean
Lines changed: 4 additions & 0 deletions
diff --git a/‎stage0/src/Lean/Elab/DefView.lean
Lines changed: 1 addition & 1 deletion b/‎stage0/src/Lean/Elab/DefView.lean
Lines changed: 1 addition & 1 deletion
diff --git a/‎stage0/src/Lean/Elab/Extra.lean
Lines changed: 0 additions & 2 deletions b/‎stage0/src/Lean/Elab/Extra.lean
Lines changed: 0 additions & 2 deletions
diff --git a/‎stage0/src/library/compiler/compiler.cpp
Lines changed: 1 addition & 1 deletion b/‎stage0/src/library/compiler/compiler.cpp
Lines changed: 1 addition & 1 deletion
diff --git a/‎stage0/src/library/compiler/extern_attribute.cpp
Lines changed: 15 additions & 1 deletion b/‎stage0/src/library/compiler/extern_attribute.cpp
Lines changed: 15 additions & 1 deletion
diff --git a/‎stage0/src/library/compiler/extern_attribute.h
Lines changed: 1 addition & 0 deletions b/‎stage0/src/library/compiler/extern_attribute.h
Lines changed: 1 addition & 0 deletions
diff --git a/‎stage0/src/library/compiler/implemented_by_attribute.h
Lines changed: 3 additions & 0 deletions b/‎stage0/src/library/compiler/implemented_by_attribute.h
Lines changed: 3 additions & 0 deletions
diff --git a/‎stage0/src/library/compiler/ir.cpp
Lines changed: 10 additions & 2 deletions b/‎stage0/src/library/compiler/ir.cpp
Lines changed: 10 additions & 2 deletions