Spelling

diff --git a/backends/aiger/aiger.cc b/backends/aiger/aiger.cc
index dfe506c662278be9aec459ada19da09ce8cc0f3f..516e538a5b3da0537f6ef010775808c39202736a 100644 (file)
--- a/backends/aiger/aiger.cc
+++ b/backends/aiger/aiger.cc
@@ -685,7 +685,7 @@ struct AigerBackend : public Backend {
                log("invariant constraints.\n");
                log("\n");
                log("    -ascii\n");
-               log("        write ASCII version of AGIER format\n");
+               log("        write ASCII version of AIGER format\n");
                log("\n");
                log("    -zinit\n");
                log("        convert FFs to zero-initialized FFs, adding additional inputs for\n");