From e3e0f913b629258033e8c9830ba32fb271bfa574 Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Fri, 19 Aug 2011 18:08:00 +0200
Subject: [PATCH] * src/ltlvisit/simplify.hh (ltl_simplifier): Disallow copy.

---
 src/ltlvisit/simplify.hh | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/ltlvisit/simplify.hh b/src/ltlvisit/simplify.hh
index ff1977c42..482b34173 100644
--- a/src/ltlvisit/simplify.hh
+++ b/src/ltlvisit/simplify.hh
@@ -84,6 +84,8 @@ namespace spot
 
     private:
       ltl_simplifier_cache* cache_;
+      // Copy disallowed.
+      ltl_simplifier(const ltl_simplifier&);
     };
   }