fix use of void*

project-everest · Sep 27, 2023 · c125504 · c125504
1 parent 8946134
commit c125504
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/cbor/CBOR.SteelC.fst b/src/cbor/CBOR.SteelC.fst
@@ -322,7 +322,7 @@ let raw_data_item_match_tagged_prop
   C.union_get_case payload == Some cbor_case_tagged /\
   begin let payload = C.union_get_field payload cbor_case_tagged in
     C.struct_get_field payload cbor_tagged_tag == C.mk_scalar tag /\
-    C.struct_get_field payload cbor_tagged_payload == C.mk_scalar a
+    C.struct_get_field payload cbor_tagged_payload == C.mk_scalar (C.ghost_void_ptr_of_ptr_gen a)
   end
 
 [@@__reduce__]