From f0000c059d23b8c98fce7c9453867411093d4140 Mon Sep 17 00:00:00 2001 From: cgjohannsen Date: Tue, 7 Jan 2025 17:17:01 -0600 Subject: [PATCH] Adding __YICES_DLLSPEC__ to API functions --- src/include/yices.h | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/src/include/yices.h b/src/include/yices.h index 2f7da03bf..8ccc0e727 100644 --- a/src/include/yices.h +++ b/src/include/yices.h @@ -448,7 +448,7 @@ __YICES_DLLSPEC__ extern type_t yices_function_type3(type_t tau1, type_t tau2, t /* * Create a type variable of the given id */ -extern type_t yices_type_variable(uint32_t id); +__YICES_DLLSPEC__ extern type_t yices_type_variable(uint32_t id); /* * Create a type constructor: @@ -464,7 +464,7 @@ extern type_t yices_type_variable(uint32_t id); * code = TOO_MANY_MACRO_PARAMS * badval = n */ -extern int32_t yices_type_constructor(const char *name, uint32_t n); +__YICES_DLLSPEC__ extern int32_t yices_type_constructor(const char *name, uint32_t n); /* * Create a type macro: @@ -492,7 +492,7 @@ extern int32_t yices_type_constructor(const char *name, uint32_t n); * code = DUPLICATE_TYPE_VAR * type1 = the duplicate variable */ -extern int32_t yices_type_macro(const char *name, uint32_t n, type_t *vars, type_t body); +__YICES_DLLSPEC__ extern int32_t yices_type_macro(const char *name, uint32_t n, type_t *vars, type_t body); /* * Instance of a macro or constructor @@ -513,25 +513,25 @@ extern int32_t yices_type_macro(const char *name, uint32_t n, type_t *vars, type * code = INVALID_TYPE * type1 = tau[i] */ -extern type_t yices_instance_type(int32_t cid, uint32_t n, type_t tau[]); +__YICES_DLLSPEC__ extern type_t yices_instance_type(int32_t cid, uint32_t n, type_t tau[]); /* * Get the macro id for a given name * - return -1 if there's no macro or constructor with that name */ -extern int32_t yices_get_macro_by_name(const char *name); +__YICES_DLLSPEC__ extern int32_t yices_get_macro_by_name(const char *name); /* * Remove the mapping of name --> macro id * - no change if no such mapping exists */ -extern void yices_remove_type_macro_name(const char *name); +__YICES_DLLSPEC__ extern void yices_remove_type_macro_name(const char *name); /* * Remove a macro with the given id * - id must be a valid macro index (non-negative) */ -extern void yices_delete_type_macro(int32_t id); +__YICES_DLLSPEC__ extern void yices_delete_type_macro(int32_t id); /*************************