From 8d12492610e0fdfff84b12fb0fc337daf4e74055 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Martin=20Povi=C5=A1er?= <povik@cutebit.org>
Date: Fri, 4 Oct 2024 10:03:30 +0200
Subject: [PATCH] read_xaiger2: Fix detecting the end of extensions

---
 frontends/aiger2/xaiger.cc | 6 ++++++
 1 file changed, 6 insertions(+)

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