diff --git a/backends/aiger2/aiger.cc b/backends/aiger2/aiger.cc index 336dad7a7..a6a4b841a 100644 --- a/backends/aiger2/aiger.cc +++ b/backends/aiger2/aiger.cc @@ -1300,7 +1300,7 @@ struct XAigerWriter : AigerWriter { }; struct Aiger2Backend : Backend { - Aiger2Backend() : Backend("aiger2", "write design to AIGER file (new)") + Aiger2Backend() : Backend("aiger2", "(experimental) write design to AIGER file") { experimental(); } @@ -1384,7 +1384,7 @@ struct Aiger2Backend : Backend { } Aiger2Backend; struct XAiger2Backend : Backend { - XAiger2Backend() : Backend("xaiger2", "write design to XAIGER file (new)") + XAiger2Backend() : Backend("xaiger2", "(experimental) write design to XAIGER file") { experimental(); }