From 8b88c842a0dd42e9cb2e14f5f19bcc8f38b3a892 Mon Sep 17 00:00:00 2001
From: Lasse Letager Hansen <lasse@letager.dk>
Date: Tue, 23 Jan 2024 14:51:11 +0100
Subject: [PATCH] Small change

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

diff --git a/engine/backends/coq/ssprove/ssprove_backend.ml b/engine/backends/coq/ssprove/ssprove_backend.ml
index 26254890a..311d43669 100644
--- a/engine/backends/coq/ssprove/ssprove_backend.ml
+++ b/engine/backends/coq/ssprove/ssprove_backend.ml
@@ -1823,7 +1823,7 @@ struct
           [
             SSP.AST.Class
               ( pconcrete_ident name,
-                [],
+                (pgeneric span generics),
                 List.concat_map
                   ~f:(fun x ->
                     match x.ti_v with