From b6d5d0b11cf7624cd7a3e0a2f6f77d83d2f7001a Mon Sep 17 00:00:00 2001
From: ajreynol <andrew.j.reynolds@gmail.com>
Date: Thu, 3 Nov 2016 15:09:12 -0500
Subject: Add priorities to getNextDecision. Properly handle case for finite
 types + unbounded heaps in sep logic. Fix another simple memory leak in
 sygus.

---
 src/theory/arrays/theory_arrays.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/theory/arrays/theory_arrays.h')

diff --git a/src/theory/arrays/theory_arrays.h b/src/theory/arrays/theory_arrays.h
index c1223474c..77c5928f0 100644
--- a/src/theory/arrays/theory_arrays.h
+++ b/src/theory/arrays/theory_arrays.h
@@ -255,7 +255,7 @@ class TheoryArrays : public Theory {
   private:
   public:
 
-  Node getNextDecisionRequest();
+  Node getNextDecisionRequest( unsigned& priority );
 
   void presolve();
   void shutdown() { }
-- 
cgit v1.2.3