Adding __YICES_DLLSPEC__ to API functions

SRI-CSL · Jan 7, 2025 · f0000c0 · f0000c0
1 parent 49db5be
commit f0000c0
Showing 1 changed file with 7 additions and 7 deletions.
diff --git 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);
 
 
 /*************************