From 0605181c7a78d4b457084be2c0a4ae754e8eb152 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Tue, 17 May 2016 15:40:40 +0200
Subject: [PATCH] * spot/twaalgos/postproc.cc: Typo.

---
 spot/twaalgos/postproc.cc | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/spot/twaalgos/postproc.cc b/spot/twaalgos/postproc.cc
index 6c05a795e..d1181c2cf 100644
--- a/spot/twaalgos/postproc.cc
+++ b/spot/twaalgos/postproc.cc
@@ -382,7 +382,7 @@ namespace spot
       {
         if (type_ == Generic)
           throw std::runtime_error
-            ("postproc() no yet updated to mix sat-minimize and Generic");
+            ("postproc() not yet updated to mix sat-minimize and Generic");
         unsigned target_acc;
         if (type_ == BA)
           target_acc = 1;