From ac79a052ba9013580eadc26f4c9032819f162cb5 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Sat, 5 Oct 2024 18:12:29 +0200
Subject: [PATCH] aiger2: Adjust help

---
 backends/aiger2/aiger.cc | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

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();
 	}