Commit e3e0f913 authored by Alexandre Duret-Lutz's avatar Alexandre Duret-Lutz
Browse files

* src/ltlvisit/simplify.hh (ltl_simplifier): Disallow copy.

parent dd1cd89a
......@@ -84,6 +84,8 @@ namespace spot
ltl_simplifier_cache* cache_;
// Copy disallowed.
ltl_simplifier(const ltl_simplifier&);
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment