1 files changed, 4 insertions, 4 deletions
diff --git a/src/options/printer_modes.h b/src/options/printer_modes.h
index f18799aaa..8ccceb13f 100644
--- a/src/options/printer_modes.h
+++ b/src/options/printer_modes.h
@@ -25,20 +25,20 @@
 namespace CVC4 {
 
 /** Enumeration of model_format modes (how to print models from get-model command). */
-typedef enum {
+enum CVC4_PUBLIC ModelFormatMode {
   /** default mode (print expressions in the output language format) */
   MODEL_FORMAT_MODE_DEFAULT,
   /** print functional values in a table format */
   MODEL_FORMAT_MODE_TABLE,
-} ModelFormatMode;
+};
 
 /** Enumeration of inst_format modes (how to print models from get-model command). */
-typedef enum {
+enum CVC4_PUBLIC InstFormatMode {
   /** default mode (print expressions in the output language format) */
   INST_FORMAT_MODE_DEFAULT,
   /** print as SZS proof */
   INST_FORMAT_MODE_SZS,
-} InstFormatMode;
+};
 
 std::ostream& operator<<(std::ostream& out, ModelFormatMode mode) CVC4_PUBLIC;
 std::ostream& operator<<(std::ostream& out, InstFormatMode mode) CVC4_PUBLIC;