From 6d23847482e8ae9f9b68f0bc6e2ff9e371a33ae2 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Mon, 18 Dec 2023 09:33:40 -0800 Subject: [PATCH] fix typos Signed-off-by: Nikolaj Bjorner --- src/sat/smt/dt_solver.cpp | 2 +- src/sat/smt/dt_solver.h | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/sat/smt/dt_solver.cpp b/src/sat/smt/dt_solver.cpp index 52c4ed953..0b3ca2a99 100644 --- a/src/sat/smt/dt_solver.cpp +++ b/src/sat/smt/dt_solver.cpp @@ -7,7 +7,7 @@ Module Name: Abstract: - Theory plugin for altegraic datatypes + Theory plugin for algebraic datatypes Author: diff --git a/src/sat/smt/dt_solver.h b/src/sat/smt/dt_solver.h index 1bf4d6073..02f1300b8 100644 --- a/src/sat/smt/dt_solver.h +++ b/src/sat/smt/dt_solver.h @@ -7,7 +7,7 @@ Module Name: Abstract: - Theory plugin for altegraic datatypes + Theory plugin for algebraic datatypes Author: