3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-04-06 17:44:08 +00:00

fix typos

Signed-off-by: Nikolaj Bjorner <nbjorner@microsoft.com>
This commit is contained in:
Nikolaj Bjorner 2023-12-18 09:33:40 -08:00
parent d008dbe50a
commit 6d23847482
2 changed files with 2 additions and 2 deletions

View file

@ -7,7 +7,7 @@ Module Name:
Abstract:
Theory plugin for altegraic datatypes
Theory plugin for algebraic datatypes
Author:

View file

@ -7,7 +7,7 @@ Module Name:
Abstract:
Theory plugin for altegraic datatypes
Theory plugin for algebraic datatypes
Author: