1 files changed, 1 insertions, 1 deletions
diff --git a/src/proof/sat_proof.cpp b/src/proof/sat_proof.cpp
index 581ee6d96..0bf033a22 100644
--- a/src/proof/sat_proof.cpp
+++ b/src/proof/sat_proof.cpp
@@ -111,7 +111,7 @@ bool resolve(const Lit v, LitSet& clause1, LitSet& clause2, bool s) {
   } else {
     // literal appears negative in the first clause
     if( !clause1.count(~var) || !clause2.count(var)) {
-      Debug("proof:sat") << "proof:resolve: Mising literal ";
+      Debug("proof:sat") << "proof:resolve: Missing literal ";
       printLit(var);
       Debug("proof:sat") << endl; 
       return false;