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: