Small change

cryspen · Jan 23, 2024 · 8b88c84 · 8b88c84
1 parent 9f85cb7
commit 8b88c84
Showing 1 changed file with 1 addition and 1 deletion.
diff --git 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