latch -> box

diff --git a/backends/aiger/xaiger.cc b/backends/aiger/xaiger.cc
index 9e5d44470dab19ce64b70c94bdaf3941f3233f11..a77949b4f32618151463ae6f7dbb48f9cb13dcad 100644 (file)
--- a/backends/aiger/xaiger.cc
+++ b/backends/aiger/xaiger.cc
@@ -816,7 +816,7 @@ struct XAigerBackend : public Backend {
                log("        write ASCII version of AIGER format\n");
                log("\n");
                log("    -map <filename>\n");
-               log("        write an extra file with port and latch symbols\n");
+               log("        write an extra file with port and box symbols\n");
                log("\n");
                log("    -vmap <filename>\n");
                log("        like -map, but more verbose\n");