diff --git a/frontends/aiger2/xaiger.cc b/frontends/aiger2/xaiger.cc
index 56fa5a2a6..4c7305876 100644
--- a/frontends/aiger2/xaiger.cc
+++ b/frontends/aiger2/xaiger.cc
@@ -219,6 +219,8 @@ struct Xaiger2Frontend : public Frontend {
 				log_assert(pi_num + ci_counter == ci_num);
 			} else if (c == '\n') {
 				break;
+			} else if (c == 'c') {
+				break;
 			} else {
 				uint32_t len = read_be32(*f);
 				f->ignore(len);
@@ -283,6 +285,8 @@ struct Xaiger2Frontend : public Frontend {
 				}
 			} else if (c == '\n') {
 				break;
+			} else if (c == 'c') {
+				break;
 			} else {
 				uint32_t len = read_be32(*f);
 				f->ignore(len);
@@ -354,6 +358,8 @@ struct Xaiger2Frontend : public Frontend {
 				log_assert(po_num + co_counter == co_num);
 			} else if (c == '\n') {
 				break;
+			} else if (c == 'c') {
+				break;
 			} else {
 				uint32_t len = read_be32(*f);
 				f->ignore(len);