From 7022853dadaceb25e273b59101243e0b92e1402b Mon Sep 17 00:00:00 2001
From: Alexandre Duret-Lutz <adl@lrde.epita.fr>
Date: Sun, 14 Oct 2012 18:25:36 +0200
Subject: [PATCH] * src/ltlvisit/simplify.cc (simplify_visitor): Return
 automatop as-is.

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

diff --git a/src/ltlvisit/simplify.cc b/src/ltlvisit/simplify.cc
index 31238fe58..af393a40f 100644
--- a/src/ltlvisit/simplify.cc
+++ b/src/ltlvisit/simplify.cc
@@ -2367,9 +2367,9 @@ namespace spot
 	}
 
 	void
-	visit(const automatop*)
+	visit(const automatop* aut)
 	{
-	  assert(0);
+	  result_ = aut->clone();
 	}
 
 	void