Fix error

cryspen · Feb 21, 2024 · 8f2ed2a · 8f2ed2a
1 parent b2e428b
commit 8f2ed2a
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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) =