From 126492742b2e185809ac51dac6bb7d2e56b2c9b2 Mon Sep 17 00:00:00 2001
From: "Emil J. Tywoniak" <emil@tywoniak.eu>
Date: Tue, 3 Mar 2026 17:34:58 +0100
Subject: [PATCH] read_liberty: fix for msvc

---
 frontends/liberty/liberty.cc | 3 ++-
 1 file changed, 2 insertions(+), 1 deletion(-)

diff --git a/frontends/liberty/liberty.cc b/frontends/liberty/liberty.cc
index 3d4e99310..04d5fd423 100644
--- a/frontends/liberty/liberty.cc
+++ b/frontends/liberty/liberty.cc
@@ -20,6 +20,7 @@
 #include "passes/techmap/libparse.h"
 #include "kernel/register.h"
 #include "kernel/log.h"
+#include <array>
 
 YOSYS_NAMESPACE_BEGIN
 
@@ -303,7 +304,7 @@ static void create_ff(RTLIL::Module *module, const LibertyAst *node)
 				if (*cp_var == 'L') {
 					set_dominates = neg;
 				} else if (*cp_var == 'H') {
-					set_dominates = not neg;
+					set_dominates = !neg;
 				} else {
 					log_error("FF cell %s has unsupported clear&preset behavior \'%c\'.\n", name, *cp_var);
 				}