From 8f2ed2ae938fc8d594e01a1c8fc4a0b6b89e9fe6 Mon Sep 17 00:00:00 2001
From: Lasse Letager Hansen <lasse@letager.dk>
Date: Wed, 21 Feb 2024 15:42:22 +0100
Subject: [PATCH] Fix error

---
 engine/backends/coq/coq/coq_backend.ml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/engine/backends/coq/coq/coq_backend.ml b/engine/backends/coq/coq/coq_backend.ml
index bad6bd0c3..0cda21c2d 100644
--- a/engine/backends/coq/coq/coq_backend.ml
+++ b/engine/backends/coq/coq/coq_backend.ml
@@ -145,7 +145,7 @@ struct
         | S64 -> U64
         | S128 -> U128
         | SSize -> USize);
-      signed = k.signedness == Signed;
+      signed = (match k.signedness with Signed -> true | _ -> false);
     }
 
   let rec pliteral span (e : literal) =