From: Tim King <tim.king@imag.fr>
Date: Mon, 13 Apr 2015 10:23:49 +0000 (+0200)
Subject: Making CVC4::theory::quantifiers::PrenexQuantMode public for now.
X-Git-Tag: cvc5-1.0.0~6359
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=54553d7e30a3db13c36a782a3350abf8ea29ad99;p=cvc5.git

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

diff --git a/src/theory/quantifiers/modes.h b/src/theory/quantifiers/modes.h
index a6c52274f..d0bed023d 100644
--- 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 */