From 5c5aa23df3806a2a57341a2d040558f095869da2 Mon Sep 17 00:00:00 2001
From: Thomas Leonard <talex5@gmail.com>
Date: Wed, 12 Jul 2023 15:47:57 +0100
Subject: [PATCH] eio_windows: update available line to win32

This is to match the change in #557.
---
 eio_windows.opam.template | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/eio_windows.opam.template b/eio_windows.opam.template
index 888f6d9ab..8fe8e3252 100644
--- a/eio_windows.opam.template
+++ b/eio_windows.opam.template
@@ -1 +1 @@
-#available: [os-family = "windows"]
+#available: [os = "win32"]