diff --git a/libs/ezsat/ezcmdline.cc b/libs/ezsat/ezcmdline.cc
index dddec1067..2eef1b06d 100644
--- a/libs/ezsat/ezcmdline.cc
+++ b/libs/ezsat/ezcmdline.cc
@@ -67,7 +67,7 @@ bool ezCmdlineSAT::solver(const std::vector<int> &modelExpressions, std::vector<
 	modelValues.resize(modelIdx.size());
 
 	if (!status_sat && !status_unsat) {
-		solverTimoutStatus = true;
+		solverTimeoutStatus = true;
 	}
 	if (!status_sat) {
 		return false;
diff --git a/libs/ezsat/ezminisat.cc b/libs/ezsat/ezminisat.cc
index 30df625cb..1f4b8855f 100644
--- a/libs/ezsat/ezminisat.cc
+++ b/libs/ezsat/ezminisat.cc
@@ -103,7 +103,7 @@ bool ezMiniSAT::solver(const std::vector<int> &modelExpressions, std::vector<boo
 {
 	preSolverCallback();
 
-	solverTimoutStatus = false;
+	solverTimeoutStatus = false;
 
 	if (0) {
 contradiction:
@@ -206,7 +206,7 @@ contradiction:
 #if defined(HAS_ALARM)
 	if (solverTimeout > 0) {
 		if (alarmHandlerTimeout == 0)
-			solverTimoutStatus = true;
+			solverTimeoutStatus = true;
 		alarm(0);
 		sigaction(SIGALRM, &old_sig_action, NULL);
 		alarm(old_alarm_timeout);
diff --git a/libs/ezsat/ezsat.cc b/libs/ezsat/ezsat.cc
index fbdfc20f6..3e63d3e84 100644
--- a/libs/ezsat/ezsat.cc
+++ b/libs/ezsat/ezsat.cc
@@ -54,7 +54,7 @@ ezSAT::ezSAT()
 	cnfClausesCount = 0;
 
 	solverTimeout = 0;
-	solverTimoutStatus = false;
+	solverTimeoutStatus = false;
 
 	literal("CONST_TRUE");
 	literal("CONST_FALSE");
diff --git a/libs/ezsat/ezsat.h b/libs/ezsat/ezsat.h
index 507708cb2..445c8edba 100644
--- a/libs/ezsat/ezsat.h
+++ b/libs/ezsat/ezsat.h
@@ -78,7 +78,7 @@ protected:
 
 public:
 	int solverTimeout;
-	bool solverTimoutStatus;
+	bool solverTimeoutStatus;
 
 	ezSAT();
 	virtual ~ezSAT();
@@ -153,8 +153,8 @@ public:
 		solverTimeout = newTimeoutSeconds;
 	}
 
-	bool getSolverTimoutStatus() {
-		return solverTimoutStatus;
+	bool getSolverTimeoutStatus() {
+		return solverTimeoutStatus;
 	}
 
 	// manage CNF (usually only accessed by SAT solvers)
diff --git a/passes/sat/sat.cc b/passes/sat/sat.cc
index 90b85d709..bb7b9ee29 100644
--- a/passes/sat/sat.cc
+++ b/passes/sat/sat.cc
@@ -441,7 +441,7 @@ struct SatHelper
 		log_assert(gotTimeout == false);
 		ez->setSolverTimeout(timeout);
 		bool success = ez->solve(modelExpressions, modelValues, assumptions);
-		if (ez->getSolverTimoutStatus())
+		if (ez->getSolverTimeoutStatus())
 			gotTimeout = true;
 		return success;
 	}
@@ -451,7 +451,7 @@ struct SatHelper
 		log_assert(gotTimeout == false);
 		ez->setSolverTimeout(timeout);
 		bool success = ez->solve(modelExpressions, modelValues, a, b, c, d, e, f);
-		if (ez->getSolverTimoutStatus())
+		if (ez->getSolverTimeoutStatus())
 			gotTimeout = true;
 		return success;
 	}