Making CVC4::theory::quantifiers::PrenexQuantMode public for now.

diff --git a/src/theory/quantifiers/modes.h b/src/theory/quantifiers/modes.h
index a6c52274ff7ee4e9a3043188af455a5bb5261120..d0bed023d36a42c8f4a29bb08e1bbe62f2609348 100644 (file)
--- a/src/theory/quantifiers/modes.h
+++ b/src/theory/quantifiers/modes.h
@@ -15,7 +15,7 @@
  ** \todo document this file
  **/
 
-#include "cvc4_private.h"
+#include "cvc4_public.h"
 
 #ifndef __CVC4__THEORY__QUANTIFIERS__MODES_H
 #define __CVC4__THEORY__QUANTIFIERS__MODES_H
@@ -114,7 +114,7 @@ typedef enum {
   TRIGGER_SEL_MAX,
 } TriggerSelMode;
 
-typedef enum {
+typedef enum CVC4_PUBLIC {
   /** default : prenex quantifiers without user patterns */
   PRENEX_NO_USER_PAT,
   /** prenex all */