fix name

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
microsoft · Aug 5, 2022 · d70efa3 · d70efa3
1 parent 44c3cca
commit d70efa3
Showing 1 changed file with 0 additions and 0 deletions.
diff --git a/...ite/docs-smtlib/01 - logic/06 - Lambda.md → ...te/docs-smtlib/01 - logic/06 - Lambdas.md b/...ite/docs-smtlib/01 - logic/06 - Lambda.md → ...te/docs-smtlib/01 - logic/06 - Lambdas.md